Temas Avanzados en Ingeniería Informática I
Titulación: Ingeniería Informática
Plan de Estudios: 1992 (modificado 1998)
Web de la asignatura: http://www.ii.uam.es/~dcamacho/logica
Ciclo/Curso/Semestre: Segundo Ciclo / Tercer Curso / Segundo Semestre
Tipo de materia: Optativa
Créditos: 7,0
Código de asignatura: 11340
Objetivos:
Recomendaciones: Se recomienda haber cursado previamente la asignatura de Inteligencia Artificial
Metodología Docente: -
Programa:
  1. Introducción
  2. Prolog.
  3. Lógica proposicional
  4. Teoría de la Demostración
  5. Lógica de predicados
  6. Demostración automática de teoremas
  7. Programación de Restricciones
Bibliografía orientativa:
  • Jean H. Gallier, Logic for Computer Science. Foundations of Automatic Theorem Proving
  • Genesereth y Nilsson, Logical Foundations of Artificial Intelligence
  • Russell y Norvig, Artificial Intelligence: A modern approach
  • I. Bratko, Prolog programming for Artificial Intelligence
  • J. Cuena. Lógica Informática. Alianza Editorial, 1985
  • C. Badesa, I. Jané y R. Jansana. Elementos de lógica formal (Ariel, 2000)
  • J.A. Díez. Iniciación a la Lógica (Ed. Ariel, 2002)
  • E. Paniagüa. Lógica computacional. (Thomson, 2003)
  • K. Marriot, P.Stuckey. Programming with Constraints. (MIT Press, 1999)
  • L. Sterling. The art of Prolog advanced programming techniques. (MIT Press, 1986)

Catálogo Biblioteca - Bibliografía Recomendada

Coordinador/a teoría: David Camacho
Coordinador/a prácticas: David Camacho
Profesorado: Teoría: Prácticas:
Evaluación:

Volver al plan de estudios