Matemáticas (plan 1983) 2022-1

Optativas de los Niveles VII y VIII, Lógica Matemática II

OBJETIVO.

Que el alumno conozca el material lógico que hay para aplicarlo a las matemáticas (formas normales, teorías, modelos, consistencia, testigos, independencia, correctud, completud, compacidad, encajes, categoricidad, definibilidad, etc.) y que puede servirle en su trabajo profesional.

REQUISITOS.

De preferencia haber cursado las materias de álgebra moderna, topología, análisis, etc., por la madurez adquirida en la demostración de enunciados abstractos.

Es bueno haber cursado Lógica Matemática I, pero no determina su avance en esta materia. No hay problema si no la curso.

TEMARIO.

1. Lenguaje Formal.

2. Estructuras.

3. Semántica.

4. Argumentos, Finitamente Satisfacible y Consistente.

5. Estructuras Canónicas.

6. Teoría de Modelos.

FORMA DE EVALUAR.

Habrá notas en cada capítulo; habrá un examen por cada capítulo, así

hablamos de seis exámenes parciales. La calificación final será el promedio

de las calificaciones de los exámenes parciales.

BIBLIOGRAFÍA BÁSICA.

Bridges, J. BEGINNING MODEL THEORY.

Burris-Sankappanavar. A COURSE IN UNIVERSAL ALGEBRA.

Enderton, H. UNA INTRODUCCIÓN MATEMÁTICA A LA LÓGICA.

Dalen, D. van. LOGIC AND STRUCTURE.

Mendelson, E. INTRODUCTION TO MATHEMATICAL LOGIC.

En las notas habrá más bibliografía.

CONTACTO.

Nos conectaremos por Classroom y Zoom:

LÓGICA MATEMÁTICA II-4282

73gplol

Ciudad de México, a 3 de septiembre de 2021.