Lógica Informática (2004-05)

Asignatura obligatoria de 2º de Ingeniería informática adscrita al Departamento de Ciencias de la Computación e Inteligencia Artificial. Tiene 4.5 créditos (3 teóricos y 1.5 prácticos). Se imparte durante el segundo cuatrimestre.

Profesores:

Contenido

  • Lógica proposicional:
    • Sintaxis y semántica de la lógica proposicional.
    • Deducción natural proposicional.
    • Equivalencia lógica. Formas normales.
    • Tableros semánticos.
    • Lógica clausal. Resolución.
    • Otros sistemas proposicionales.
  • Lógica de primer orden:
    • Sintaxis y semántica de la lógica de primer orden.
    • Deducción natural.
    • Formas normales. Cláusulas.
    • Modelos de Herbrand.
    • Resolución.
    • Otros sistemas.

Metodología

Se utilizarán tres tipos de clases: las de teoría (en las que se expondrán los temas que componen el curso), las de problemas (en las que se resolverán, de manera participativa, problemas que clarifican el contenido teórico) y las de práctica (en las que se usarán distintos sistemas deductivos).

Bibliografía

Bibliografía básica

  • C. Badesa, I. Jané y R. Jansana Elementos de lógica formal (Ariel, 2000)
  • M. Ben-Ari Mathematical Logic for Computer Science (2nd ed.) (Springer, 2001)
  • M. Huth y M. Ryan Logic in Computer Science: Modelling and Reasoning about Systems (Cambridge University Press, 2000)
  • U. Schöning Logic for Computer Scientists, (Birkauser, 1989)

Bibliografía complementaria

  • L. Arenas Lógica formal para informáticos. (Ed. Díaz de Santos, 1996)
  • C.L. Chang y R.C.T. Lee Symbolic Logic and Mechanical Theorem Proving (Academic Press, 1973)
  • J. Cuena Lógica Informática (Alianza Ed., 1985)
  • J.A. Díez Iniciación a la Lógica (Ed. Ariel, 2002)
  • K. Doets From Logic to Logic Programming, (MIT Press, 1994)
  • M. Fitting First-Order Logic and Automated Theorem Proving (2nd ed.) (Springer, 1996)
  • M.R. Genesereth y N.J. Nilsson Logical Foundations of Artificial Intelligence (Morgan Kaufmann, 1987)
  • A. Nerode y R.A. Shore Logic for Applications. (Springer, 1997).
  • E. Paniagua, J.L. Sánchez y F. Martín Lógica computacional (Thomson, 2003).

Evaluación

La evaluación por curso consta de dos exámenes bimestrales junto con la evaluación de las prácticas de laboratorio. La nota de los exámenes constituyen el 80% de la nota final y el otro 20% corresponde a la nota de prácticas de laboratorio.

Exámenes

Las fechas previstas de los exámenes finales son:
  • 1ª convocatoria: Jueves 30 de Junio de 2005
  • 2ª convocatoria: Viernes 23 de Septiembre de 2005

Horarios de clases

  • Clases de teoría:
    • Grupo 1: jueves de 10:30 a 12:30 en el aula 11 (Prof.: J.A. Alonso),
    • Grupo 2: viernes de 8:30 a 10:30 en el aula 12 (Prof.: J.A. Alonso).
    • Grupo 3: jueves de 17:30 a 19:30 en el aula 11 (Prof.: A.J. Pérez).
  • Clases de problemas:
    • Grupo 1: lunes de 10:30 a 11:30 en el aula 11 (Prof.: A. Cordón).
    • Grupo 2: martes de 10:30 a 11:30 en el aula 12 (Prof.: J.A. Alonso).
    • Grupo 3: martes de 19:30 a 20:30 en el aula 11 (Prof.: A.J. Pérez).
  • Clases de prácticas:
    • Grupos 1A y 1B: lunes de 12:30 a 14:30 en el AO1 (Prof.: A. Cordón).
    • Grupos 1C y 1D: lunes de 12:30 a 14:30 en el AO2 (Prof.: A.M. Chávez).
    • Grupos 2A y 2B: jueves de 12:30 a 14:30 en el AO1 (Prof.: A.M. Chávez).
    • Grupos 2C y 2D: jueves de 12:30 a 14:30 en el AO2 (Prof.: M.J. Hidalgo).
    • Grupo 3A: lunes de 19:30 a 21:30 en el AO1 (Prof.: A. Cordón).
    • Grupo 3B: lunes de 19:30 a 21:30 en el AO1 (Prof.: A.J. Pérez).