Día 6: Introducción. Sentencia, proposición y argumentación

Día 20: Introducción a la teoría de conjuntos

Día 27: Comprensión y separación. Las paradojas de la implicación material

Día 3: Conectivas lógicas. Operaciones con conjuntos

Día 10: Relaciones y pares ordenados

Día 17: Relaciones de equivalencia

Día 1: Funciones

Día 15: Relaciones de equivalencia

Día 12: Rudimentos de lógica proposicional

Día 19: Equivalencia lógica. El cuadrado de las oposiciones

Día 26: Consecuencia lógica

Día 2: Equivalencia lógica. Ejercicios

Día 16: Ejercicios de equivalencia lógica

Día 23: Introducción al cálculo de secuentes

Día 2: Introducción a la lógica modal. Semánticas de Kripke

Día 16: Satisfactibilidad

Día 23: Consecuencia lógica

Día 20: Cáculo de secuentes

Día 27: Introducción a la lógica de primer orden

Día 4: Variables libres y variables ligadas. Substitución de variabes

Día 11: Lógica y programación. Introducción a la arquitectura von Neumann

Día 18: Substitución de variables. Asignaciones. Convergencia

Día 25: Semánticas de los lenguajes del primer orden

Día 1: Verdad lógica. Consecuencia lógica. Satisfacibilidad

Día 8: Estructuras

Día 29: Rudimentos de programación. Condicionales, iteraciones y procedimientos

Día 6: Estructuras. Operaciones con tiras

Día 13: Rudimentos de programación