Día 18: Lectura de "El pensamiento: una investigación lógica", de G. Frege (1/4)

Día 2: Lectura de "El pensamiento: una investigación lógica", de G. Frege (2/4)

Día 9: Lectura de "El pensamiento: una investigación lógica", de G. Frege (3/4)

Día 16: Lectura de "El pensamiento: una investigación lógica", de G. Frege (4/4)

Día 23: Introducción a la lógica de primer orden (1/7)

Día 30: Introducción a la lógica de primer orden (2/7)

Día 6: Introducción a la lógica de primer orden (3/7)

Día 13: Introducción a la lógica de primer orden (4/7)

Día 20: Introducción a la lógica de primer orden (5/7)

Día 27: Introducción a la lógica de primer orden (6/7)

Día 4: Introducción a la lógica de primer orden (7/7)

Día 11: La aritmética de Peano (1/2)

Día 18: La aritmética de Peano (2/2)

Día 8: Intermedio: Los números reales y el universo

Día 15: Lo indecidible. Un ejemplo: el teorema de Godstein (1/2)

Día 22: Lo indecidible. Un ejemplo: el teorema de Godstein (2/2)

Día 29: Intermedio: Las lógicas no clásicas

Día 5: Compacidad: Modelos no estándar de la aritmética de Peano

Día 12: Deducibilidad. Sistemas Gentzen (1/2)

Día 19: Deducibilidad. Sistemas Gentzen (2/2)

Día 26: Deducibilidad. Ejemplos de demostración

Día 5: Lógica proposicional: satisfacción, corrección, completud

Día 12: Demostrabilidad y consecuencia lógica

Día 19: Tipos de números (1/2)

Día 26: Tipos de números (2/2): los números enteros

Día 16: Construcción de los números racionales; introducción a los números reales

Día 23: Números reales y números complejos

Día 7: Modelos de un lenguaje de primer orden. Satisfacción

Día 14: Satisfacción. Verdad. Completud. Consistencia

Día 21: Ejemplos variados (1/2)

Día 28: Ejemplos variados (2/2)

Día 11: Fin de curso