CURSO : LOGICA
SIGLA : MLM2410
REQUISITOS : 200 CRÉDITOS APROBADOS
CRÉDITOS : 12
MÓDULOS : 02
I. OBJETIVOS
Consolidar en el alumno los conceptos basicos de la logica de primer orden incluyendo los teoremas
de completud e incompletud de Godel.
II. CONTENIDOS
1. Logica de primer orden:
1.1 El lenguaje.
1.2 Verdad y modelos.
1.3 Lectura unica.
1.4 El calculo deductivo
1.5 Completud.
1.6 Compacidad
1.7 Modelos de teorias.
1.8 Teorema de Herbrand, demostracion infinitaria.
2. Indecidibilidad:
2.1 Teorias de numeros.
2.2 Aritmetizacion de la sintaxis.
2.3 Incompletud de indecibilidad.
2.4 Teoremas de Godel.
III. METODOLOGIA
Basada especificamente en las siguientes actividades.
? Clases expositivas
? Pruebas
? Examen
IV. BIBLIOGRAFIA
Church, A. Introduction to Mathematical Logic. Princeton
University Press, 1956.
Enderton, B.E.A. Mathematical Introduction to Logic. Academic Press,
1972.
Malitz, J. Introduction to Mathematical Logic. Springer, 1979.
Mendelson, E. Introduction to Mathematical Logic Wadsworth &
Brooks/Cole, 1987.
