Temas de "Programación declarativa (2006-07)"

En esta página se encuentra el material (transparencias y ejercicios) de las clases del curso Programación declarativa. Se irán publicando conforme se vayan impartiendo. Además, en Temas de "Programación declarativa" (2005-06) se encuentran las transparencias del curso anterior.

• Tema 1: Introducción a Prolog.
  (transparencias y ejercicios).
• Tema 2: Listas, operadores y aritmética.
  (transparencias y ejercicios).
• Tema 3: Estructuras.
  (transparencias y ejercicios).
• Tema 4: Retroceso, corte y negación.
  (transparencias y ejercicios).
• Tema 5: Programación lógica de segundo orden.
  (transparencias y ejercicios).
• Tema 6: Estilo y eficiencia en programación lógica.
  (transparencias y ejercicios).
• Tema 7: Aplicaciones de PD: Problemas de grafos y de las reinas.
  (transparencias y ejercicios).
• Tema 8: Aplicaciones de PD: Problemas de espacios de estados.
  (transparencias y ejercicios).
• Tema 9: Programación lógica con restricciones.
  (transparencias y ejercicios).
• Tema 10: Procesamiento de lenguaje natural.
  (transparencias y ejercicios).
• Tema 11: Aplicaciones de PD: Lógica proposicional (sintaxis, cálculo de tableros y semántica).
  (transparencias y ejercicios).

[ Inicial | Temas | Documentación | Sistemas | Exámenes ]