Maestría en Ciencias Computacionales

TI5205 Programación Funcional - Lógica

Verano 2011

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