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).
|