Sitios de interés

A continuación se muestran sitios web con información recomendable para reforzar los visto en clase, y para su formación en general.

• Coursera. Cursos en línea.
• Udacity. Más cursos en línea.
• MITOpenCourseware. El MIT pone a nuestra disposición algunos de sus cursos en línea.
• Lagunita. Cursos en línea impartidos por la Universidad de Stanford.

• En esta liga se muestran varias páginas que tratan de lógica computacional.
• Curso de Introduction to Logic por la Universidad de Stanford.
• Sitio de la Olimpiada de lógica aquí.
• Curso de Computational Logic en este link.
• Curso de Specification, Design and Verification of Networked Control Systems por el Cal Tech.
• Sitio oficial del lenguaje Haskell.
• Acertijos lógicos.
• Acertijos lógicos en Prolog
• Problemas en Prolog
• 99 Problemas en Prolog
• Ejemplos de programación con Prolog

• Dirección General de Cooperación e Internacionalización. Esta dependecia asesora a estudiantes de la UNAM para realizar movilidad internacional.
• Becas Santander-ECOES Nacional e Iberoamérica.
• Fundación Carolina. Sitio que promueve estancias académicas en España.

• Calendario UNAM, para los semestres 2020-1 y 2020-2.

• There’s one key difference between kids who excel at math and those who don’t. Interesante artículo en el sitio https://qz.com/

• Examen de admisión al MIT de finales del siglo XIX.