Lógica informática (2006-07)
Este curso ofrece una introducción a los principales conceptos de la lógica proposicional y de la lógica de primer orden. Para ambas, se estudian diversos cálculos y procedimientos de decisión.
Es una asignatura obligatoria de segundo curso de la Ingeniería informática de la Universidad de Sevilla.
Temas y ejercicios
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.
Exámenes
- Primer parcial:
- Segundo parcial:
- 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.
Bibliografía
- 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).
Sistemas
- Tablas de verdad, árboles de formación y formas normales: Gateway to Logic.
- Tableros semánticos: Tree proof generator.
- Deducción natural:
- Resolución: Otter y Mace.
- Formalización: APLI2 (APLIcación de Ayuda Para Lógica Informática).