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/