20 de marzo: Lógica
Proposicional: Introducción
27 de marzo: Lógica Proposicional: Consecuencia Semántica
3 de abril: Lógica Proposicional: Resolución
17 de abril: Lógica de Predicados de Primer Orden
24 de abril: Lógica de Predicados de Primer Orden
15/22 de mayo: Modelos de Herbrand
29 de mayo: Lógica de Predicados de Primer Orden: Resolución
5 de junio: Lógica de Programas
19 de junio: Lógica de Programas - Verificación de Programas