Currículum
Dr. Alejandro Guerra-Hernández | Metodologías Prog. I
Edición del curso: Septiembre-Diciembre 2011.
- Presentación del curso | Presentación
- Introducción a la Programación Lógica | Notas | Presentación | Código
- Lógica de Primer Orden | Notas | Presentación
- Cláusulas y Programas Definitivos | Notas | Presentación
- El Principio de Resolución | Notas | Presentación
- La Negación | Notas | Presentación
- Corte y Aritmética | Notas | Presentación
- Tutorial de Prolog 1/3 | Presentación
- Tutorial de Prolog 2/3 | Presentación
- Tutorial de Prolog 3/3 | Presentación | Fuentes Latex
- Búsquedas de Soluciones | Notas | Presentación | Código
- Sistemas Expertos | Notas | Presentación
- Planeación| Notas | Presentación | Código
- Tareas | Tarea 1 (fuente latex) | Tarea 2