Lógica informática (2006-07)

Esta sección contiene el material de las clases del curso. En cada tema, encontrarás las transparencias y los ejercicios correspondientes. Además, el libro Temas de Lógica informática recopila todas las transparencias del curso.

• Tema 1: Sintaxis y semántica de la lógica proposicional y Ejercicios.
• Tema 2: Deducción natural proposicional y Ejercicios.
• Tema 3: Formas normales y Ejercicios.
• Tema 4: Tableros semánticos y Ejercicios.
• Tema 5: Resolución proposicional y Ejercicios.
• Tema 6: Sintaxis y semántica de la lógica de primer orden y Ejercicios.
• Tema 7: Deducción natural en lógica de primer orden, Ejercicios, soluciones de ejercicios de deducción natural y soluciones de ejercicios mediante tableros semántico.
• Tema 8: Formas normales. Cláusulas y Ejercicios.
• Tema 9: Modelos de Herbrand y Ejercicios.
• Tema 10: Resolución en lógica de primer orden y Ejercicios.

• Primer parcial:
  • Grupo 1.
  • Grupo 2.
• Segundo parcial:
  • Grupo 2.
• Examen de Junio de 2007.
• Examen de Septiembre de 2007.

En Soluciones de exámenes de Lógica informática están resueltos los ejercicios de exámenes de años anteriores que se corresponden con el contenido del presente curso.

• J.A. Alonso. Temas de Lógica informática (2005-06). (Univ. de Sevilla, 2006).
• J.A. Alonso. Exámenes de Lógica informática (2000-2006). (Univ. de Sevilla, 2006).
• C. Badesa, I. Jané, R. Jansana. Elementos de lógica formal. Editorial Ariel, 1998).
• M. Ben-Ari. Mathematical logic for computer science. (Springer, 2001).
• 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).
• K. Doets. From logic to logic programming. (MIT Press, 1994).
• J.A. Díez. Iniciación a la lógica. (Ed. Ariel, 2002).
• J.L. Fernández, A. Manjarrés y F.J. Díez. Lógica computacional. (UNED, 2003).
• M. Fitting. First-order logic and automated theorem proving. (Springer, 1996).
• M.R. Genesereth y N.J. Nilsson. Logical foundations of artificial intelligence. (Morgan Kaufmann, 1987).
• M. Huth y M. Ryan. Logic in computer science: Modelling and reasoning about systems (Cambridge University Press, 2000). Incluye el tutor en la Red.
• M. Manzano y A. Huertas. Lógica para principiantes. (Alianza editorial, 2004).
• 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).
• L. Paulson. Logic and proof (U. Cambridge, 2003).
• U. Schöning. Logic for computer scientists. (Birkäuser, 1989).

• Tablas de verdad, árboles de formación y formas normales: Gateway to Logic.
• Tableros semánticos: Tree proof generator.
• Deducción natural:
  • Jape y cálculo para la asignatura LI.
  • AProS (Automated Proof Search).
• Resolución: Otter y Mace.
• Formalización: APLI2 (APLIcación de Ayuda Para Lógica Informática).