| Septiembre 2006 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | |
Día 18: Lectura de "El pensamiento: una investigación lógica", de G. Frege (1/4)
| Octubre 2006 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | ||||||
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 | |||||
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)
| Noviembre 2006 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | 4 | 5 | ||
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | |||
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)
| Diciembre 2006 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | 31 |
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)
| Enero 2007 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| 8 | 9 | 10 | 11 | 12 | 13 | 14 |
| 15 | 16 | 17 | 18 | 19 | 20 | 21 |
| 22 | 23 | 24 | 25 | 26 | 27 | 28 |
| 29 | 30 | 31 | ||||
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
| Febrero 2007 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | ||||
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
| Marzo 2007 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 | 30 | 31 | |
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
| Junio 2007 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | |
Día 11: Fin de curso
| Julio 2007 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | ||||||
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 | |||||
| Agosto 2007 | ||||||
| Lu | Ma | Mi | Ju | Vi | Sa | Do |
| 1 | 2 | 3 | 4 | 5 | ||
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | 31 | ||