|
|
|
| |
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)
|
|
|
|
|
|