I. LÓGICA MATEMÁTICA

1. CÁLCULO PROPOSICIONAL
1.1. Un poco de historia
1.2. Sintaxis
1.2.1. Algoritmo de decisión I
1.2.2. Unicidad en la escritura de una fórmula
1.2.3. Recursividad en fórmulas proposicionales
1.3. Notación libre de paréntesis o polaca
1.3.1. Algoritmo de decisión II
1.4. Un sistema deductivo
1.5. Semántica
1.5.1. Equivalencias y el principio de sustitución
1.5.2. Formas normales
1.6. Ejercicios

2. INTRODUCCIÓN A LA LÓGICA DE PRIMER ORDEN
2.1. Sintaxis
2.1.1. L-términos
2.1.2. L-fórmulas
2.2.1. L-estructuras y subestructuras
2.2.2. Homomorfismos
2.2.3. La relación de satisfacción
2.2.4. Validez universal
2.3. El teorema de completitud de Gódel
2.4. Ejercicios

II. TEORÍA DE CONJUNTOS

3. EL SISTEMA AXIOMÁTICO ZF
3.1. Preliminares y primeros axiomas
3.2. Conjunto potencia y el producto cartesiano
3.3. Relaciones
3.3.1. Relaciones de equivalencia
3.4. Funciones
3.5. Conjuntos parcialmente ordenados
3.5.1. Relaciones de orden
3.5.2. Conjuntos bien ordenados
3.6. Los números naturales
3.7. Ejercicios

BIBLIOGRAFÍA & REFERENCIAS