PROGRAMA DE LA ASIGNATURA LÓGICA MATEMÁTICA

OBJETIVOS GENERALES 2. Relación entre lógica y computación.

3. Comentarios sobre los sistemas deductivos.
1. El estudiante integrará los elementos que componen
la lógica de primer orden. Cálculo de proposiciones.
2. El estudiante comprenderá las bases de la progra- 1. Cálculo informal de proposiciones.
mación lógica.
(a) Proposiciones, conectivos y tablas de
certeza.
OBJETIVO PARTICULAR
(b) Equivalencia lógica y substitución.
1. El estudiante conocerá y practicará demostraciones (c) Formas normales.
sobre/de el cálculo de proposiciones y el cálculo de 2. Cálculo formal de proposiciones.
predicados.
(a) El sistema formal L.
(b) Propiedades de L.
MÉTODO
Cálculo de predicados.
1. Se expondrán los puntos del temario a lo largo del
curso, haciendo énfasis en la construcción de un sis- 1. Cálculo informal de predicados.
tema formal. (a) Predicados y cuantificadores.
2. De manera participativa y/o colectiva se llevarán a (b) Elementos del lenguaje L.
cabo las demostraciones de proposiciones (metate-
oremas) sobre el sistema que se trabaje, o teoremas (c) Interpretación y satisfacción.
del mismo sistema. 2. Cálculo formal de predicados.
3. Habrá ejercicios extraclase con la finalidad de (a) El sistema formal KL .
analizar o complementar los que en la clase se real-
icen. (b) Equivalencia y substitución.
4. Se trabajará con notas del curso para coadyuvar el (c) Forma normal prenex.
aprovechamiento en clase y la aplicación de concep- (d) Propiedades de KL .
tos.
(e) Modelos.
5. Se estima idealmente que el tiempo de dedicación
extraclase es el mismo que el tiempo dedicado a Elementos de programación lógica.
tomar la clase. La dedicación mı́nima extraclase
para este curso es de tres rigurosas horas por sem-
ana. 1. Unificación.
2. Puntos fijos.
EVALUACIÓN 3. Semántica declarativa de programas
definidos.
1. Los ejercicios extraclase se comentarán en la sigu- 4. Solidez y adecuación de la resolución SLD.
iente sesión a la que fueron propuestos, de tal forma
que se realice una autoevaluación permanente.
2. Habrá tres exámenes parciales con un mismo peso Bibliografı́a Básica
que, en caso de ser aprobatorios, serán promediados
para obtener la calificación final. [1] Cuena, José: Lógica informática, Alianza In-
3. Al final del curso podrá ser recuperado solamente formática, Madrid, 1986.
un examen que no haya sido aprobado. [2] Hamilton, Alan: Logic for Mathematicians, Cam-
bridge University Press, 1978.
TEMARIO [3] Lloyd, J.W.: Foundations of logic programming,
Springer Verlag, 1987.
Generalidades de la lógica matemática.
[4] Mendelson, Elliott: Introduction to Mathematical
1. Panorama del curso. Logic, Van Nostrand, 1964.

BUAP/FCC/Agosto de 2004/Héctor Jiménez Salazar

hjimenez@fcfm.buap.mx