Calendarios


Taller de Psicoanálisis y Lógica
I Convocatoria – Temporada 2006-2007 (2.º año)


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


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


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


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
 

Copyright © EPBCN, 1996-2024.