| Docente: | V. Michele Abrusci
|
||
| Inizio: | 04/03/2009
|
||
| Fine: | 15/05/2009
|
||
| Dove: | Aula 16 (ore 16-18). Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
|
||
|
Descrizione
Introduzione critica alla logica lineare e ai suoi sviluppi Esposizione critica della teoria della dimostrazione del ‘900 Le branche della logica nel XXI secolo |
|||
Lezioni:
|
04/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: la geometria nella logica (I parte)
|
|||
|
05/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: la geometria nella logica (II parte)
|
|||
|
06/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: la geometria nella logica (sintesi)
|
|||
|
11/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: il “positivo” e il “negativo” nella logica (I parte)
|
|||
|
12/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: il “positivo” e il “negativo” nella logica (II parte)
|
|||
|
13/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: il “positivo” e il “negativo” nella logica (sintesi)
|
|||
|
18/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: la “sintassi” e la “semantica” nella logica (I parte)
|
|||
|
19/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: la “sintassi” e la “semantica” nella logica (II parte)
|
|||
|
20/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Introduzione critica alla logica lineare e ai suoi sviluppi: la “sintassi” e la “semantica” nella logica (sintesi)
|
|||
|
25/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: la “teoria della dimostrazione” di Hilbert (I parte)
|
|||
|
26/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: la “teoria della dimostrazione” di Hilbert (II parte)
|
|||
|
27/03/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: la “teoria della dimostrazione” di Hilbert (sintesi)
|
|||
|
01/04/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (I parte)
|
|||
|
02/04/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (II parte)
|
|||
|
03/04/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (sintesi)
|
|||
|
08/04/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: i dilatatori e la beta-logica: la “logica dei numeri ordinali” (I parte)
|
|||
|
09/04/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: i dilatatori e la beta-logica: la “logica dei numeri ordinali” (II parte)
|
|||
|
17/04/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Esposizione critica della teoria della dimostrazione del ‘900: i dilatatori e la beta-logica: la “logica dei numeri ordinali” (sintesi)
|
|||
|
06/05/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Le branche della logica nel XXI secolo: la crisi della ripartizione della logica (I parte)
|
|||
|
07/05/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Le branche della logica nel XXI secolo: la crisi della ripartizione della logica (II parte)
|
|||
|
08/05/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Le branche della logica nel XXI secolo: la crisi della ripartizione della logica (sintesi)
|
|||
|
13/05/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Le branche della logica nel XXI secolo: dove andiamo (I parte)
|
|||
|
14/05/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Le branche della logica nel XXI secolo: dove andiamo (II parte)
|
|||
|
15/05/2009 - 16:00
|
Aula 16
|
V.M. Abrusci
|
|
|
Le branche della logica nel XXI secolo: dove andiamo (sintesi)
|
|||