se realiza los lunes señalados
en color azul intenso de 20:30 a 21:30 h. de la tarde.
|
|
| 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) |
|
|
|
| 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)
Día 30: Introducción a la lógica de primer orden (2) |
|
|
|
| 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)
Día 13: Introducción a la lógica de primer orden (4)
Día 20: Introducción a la lógica de primer orden (5)
Día 27: Introducción a la lógica de primer orden (6) |
|
|
|
| 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)
Día 11: La aritmética de Peano (1/2)
Día 18: La aritmética de Peano (2/2) |
|
|
|
| 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
Día 22: Lo indecidible. Un ejemplo: el teorema de Godstein (2/2)
Día 29: Intermedio: las lógicas no clásicas |
|
|
|
| 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 |
|
|
|
| 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 |
|
|
|
| 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 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 |
|
|
|
| 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 7: Modelos de un lenguaje de primer orden. Satisfacción
Día 14: (Tema por determinar)
Día 21: (Tema por determinar) |
|
|
|
| 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 4: (Tema por determinar)
Día 11: (Tema por determinar)
Día 18: (Tema por determinar)
Día 25: (Tema por determinar) |
|
|
|
| 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: (Tema por determinar)
Día 9: (Tema por determinar)
Día 16: (Tema por determinar)
Día 23: (Tema por determinar) |
|
|
|
| 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 |
. |
. |
| . |
. |
. |
. |
. |
. |
. |
| |
|