Profesor: |
Dr. Rogelio Dávila Pérez |
|
|
Objetivo: |
Al finalizar este curso se espera que el alumno sea capaz de: |
|
|
|
- Conocer los modelos básicos y técnicas en los que se sustenta la programación Funcional y la programación declarativa.
- Identificar situaciones reales donde dichas tecnologías puedan ser aplicadas exitosamente justificando su uso.
- Aplicar las tecnologías a problemas reales donde técnicas convencionales no ofrecen soluciones adecuadas
- Valorar los límites de las técnicas presentadas en la solución de problemas.
|
|
|
Proyectos |
|
|
|
Evaluación: |
- 3 Exámenes parciales 40%
- 2 Proyectos: 40%
- Tareas: 20%
|
|
|
Libro de Texto: |
- PROLOG Programming for Artificial Intelligence
- Iban Bradko
- Addison Wesley Publishing Company, 2001
|
|
|
Libros de Consulta: |
- LISP (Third Edition)
- Patrick Henry Winston, B. K. P. Horn
- Addison Wesley Publishing Company , 1988
-
- The Art of Prolog - Second Edition
- Leon Sterling y Ehud Shapiro
- MIT Press, 1994
|
|
|
|