7.33.4.2 Intensificación en Programación (20 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [,] Tópicos
  1. Programación Lógica
  2. Programación Lógica Avanzada
  3. La síntesis de programas a partir de especificaciones

Objetivos

  1. Presentar los conceptos fundamentales del paradigma de programación lógica
  2. Presentar algunas técnicas de Análisis y Depuración de programas lógicos
  3. 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