| |
Lógica Informática (Curso 2003-04)
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 (del 16-2-2004 al 4-6-2004).
Profesores:
Contenido
- Lógica proposicional:
- Sintaxis y semántica de la lógica 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.
- 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
- Ben-Ari, M.
Mathematical Logic for Computer Science (2nd ed.)
(Springer, 2001)
- Huth, M. y Ryan, M.
Logic in Computer Science: Modelling and Reasoning about Systems
(Cambridge University Press, 2000)
- Schöning, U.
Logic for Computer Scientists,
(Birkäuser, 1989)
Bibliografía complementaria
- Arenas, L.:
Lógica formal para informáticos.
(Ed. Díaz de Santos, 1996)
- Chang, C.L. y Lee, R.C.T.
Symbolic Logic and Mechanical Theorem Proving
(Academic Press, 1973)
- Cuena, J.:
Lógica Informática
(Alianza Ed., 1985)
- Díez, J.A.
Iniciación a la Lógica
(Ed. Ariel, 2002)
- Doets, K.,
From Logic to Logic Programming,
(MIT Press, 1994)
- Fitting, M.
First-Order Logic and Automated Theorem Proving (2nd ed.)
(Springer, 1996)
- Genesereth, M.R. y Nilsson, N.J.
Logical Foundations of Artificial Intelligence
(Morgan Kaufmann, 1987)
- Nerode, A. y Shore, R.A.
Logic for Applications.
(Springer, 1997).
- Paniagua, E.; Sánchez, J.L. y Martín, F.
Lógica computacional
(Thomson, 2003).
Evaluación:
La evaluación consistirá en la realización de una o varias pruebas.
Exámenes
Las fechas previstas de exámenes son:
- 1ª convocatoria: Lunes 7 de Junio de 2004.
- 2º convocatoria: Martes 28 de Septiembre de 2004.
Horarios de clases
- Clases de teoría:
- Grupo 1 (de A a F): miércoles de 8:30 a 10:30 en el aula 24
(Prof.: J.A. Alonso).
- Grupo 2 (de G a M): jueves de 10:30 a 12:30 en el aula 21
(Prof.: A.J. Pérez).
- Grupo 3 (de N a Z): miércoles de 15:30 a 17:30 en el aula 24
(Prof.: A.J. Pérez).
- Clases de problemas:
- Grupo 1 (de A a F): viernes de 10:30 a 11:30 en el aula 24
(Prof.: A. Cordón).
- Grupo 2 (de G a M): lunes de 10:30 a 11:30 en el aula 21
(Prof.: A.J. Pérez).
- Grupo 3 (de N a Z): jueves de 19:30 a 20:30 en el aula 24
- Clases de prácticas:
- Grupos A1 y A2: miércoles de 12:30 a 14:30 en el AO1
(Prof.: F.F. Lara).
- Grupos B1 y B2: miércoles de 12:30 a 14:30 en el AO2
(Prof.: A.J. Pérez).
- Grupos C1 y C2: miércoles de 19:30 a 21:30 en el AO1
(Prof.: F.F. Lara).
- Grupos D1 y D2: miércoles de 19:30 a 21:30 en el AO2
(Prof.: A. Cordón).
- Grupos E1 y E2: jueves de 12:30 a 14:30 en el AO1
(Prof.: F.F. Lara).
Más información:
Enlace a las páginas de los distintos grupos de la asignatura:
Grupo 1,
Grupo 2 y
Grupo 3.
Enlace a los
horarios de tutorías.
|