Referencias Bibliográficas: [,]
Tópicos
- Programación Lógica
- Programación Lógica Avanzada
- La síntesis de programas a partir de especificaciones
Objetivos
- Presentar los conceptos fundamentales del paradigma de programación lógica
- Presentar algunas técnicas de Análisis y Depuración de programas lógicos
- Presentar una introducción a la programación automática.
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM
