Lógica informática (2007-08)
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
Transparencias de todos los temas
- En Temas de "Lógica informática" (2007-08) se encuentran las transparencias de todo el curso en forma de libro.
Transparencias por tema
- Tema 1: Sintaxis y semántica de la lógica proposicional
- Tema 2: Deducción natural proposicional.
- Tema 3: Sintaxis y semántica de la lógica de primer orden.
- Tema 4: Deducción natural en lógica de primer orden.
- Tema 5: Tableros semánticos.
- Tema 6: Formas normales.
- Tema 7: Resolución proposicional.
- Tema 8: Formas normales de Skolem y cláusulas.
- Tema 9: Modelos de Herbrand.
- Tema 10: Resolución en lógica de primer orden.
Ejercicios
- En Ejercicios de "Lógica informática" (2007-08) se encuentran los ejercicios de todo el curso en forma de libro.
- En Soluciones de ejercicios de deducción natural se encuentran las soluciones de ejercicios de estudiados en clases, propuestos y de exámenes.
Exámenes
Además, en Soluciones de exámenes de Lógica informática (2000-07) 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 y M.J. Hidalgo. Temas de "Lógica informática" (2007-08). (Univ. de Sevilla, 2007).
- J.A. Alonso. Exámenes de Lógica informática (2000-07). (Univ. de Sevilla, 2007).
- J.A. Alonso. Ejercicios de deducción natural. (Univ. de Sevilla, 2007).
- 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.
- Deducción natural:
- Tableros semánticos: Tree Proof Generator.
- Resolución: Otter y Mace2.
- Formalización: APLI2 (APLIcación de Ayuda Para Lógica Informática).