Temas de "Lógica y programación" (99-00)

• Programación funcional con Lisp:
  • Lisp 1: Funciones básicas de Lisp.
  • Lisp 2: Predicados y condicionales.
  • Lisp 3: Recursión.
  • Lisp 4: Abstracción de datos.
  • Lisp 5: Programación aplicativa.
  • Lisp 6: Iteración.
  • Lisp 7: Abstracción de procedimientos.
  • Lisp 8: Escritura y lectura.
  • Lisp 9: Listas de propiedades.
  • Lisp 10: Estructuras.
  • Lisp 11: Macro-procedimientos.
• Automatización del razonamiento:
  • AR 1: Sintaxis y semántica proposicional. (Transparencias y Programa)
  • AR 2: Formas normales y cláusulas proposicionales. (Transparencias y Programa)
  • AR 3: El procedimiento de Davis y Putnam. (Transparencias y Programa)
  • AR 4: Resolución proposicional. (Transparencias y Programa)
  • AR 5: Refinamientos de resolución. (Transparencias)
  • AR 6: Programación lógica proposicional. (Transparencias y Programa)
  • AR 7: Programación lógica y Prolog. (Transparencias y Programa)
  • AR 8: Implementación de Prolog (Transparencias)
• Aplicaciones de los SRA:
  • SRA 1: Razonamiento automático con OTTER. (Transparencias)
  • SRA 2: Aplicaciones de razonamiento automático con OTTER (Transparencias)