| Speaker: | Mario Piazza (Università di Chieti-Pescara)
|
|
| Quando: | 09/07/2010 - 10:00
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
Lista seminari
Descrizione | Programma | Lista seminari
La dimostrazione e la conoscenza matematica
John von Neumann e i dubbi su rigore matematico e rappresentazione digitale
| Speaker: | Teresa Numerico (Università Roma Tre)
|
|
| Quando: | 09/07/2010 - 10:40
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
Paradigmi della computazione: la costruzione delle reti di dimostrazione
| Speaker: | Roberto Maieli (Università Roma Tre)
|
|
| Quando: | 09/07/2010 - 11:30
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
|
Risorse:
RM_talk-090710-rm3.pdf
|
||
Contributi degli sviluppi della logica lineare alla ricerca su linguaggio e cognizione
| Speaker: | Claudia Casadio (Università Chieti-Pescara)
|
|
| Quando: | 09/07/2010 - 12:10
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
|
Risorse:
casadio_roma2010.pdf
|
||
Prospettive della ricerca logica
| Speaker: | V. Michele Abrusci (Università Roma Tre)
|
|
| Quando: | 09/07/2010 - 12:50
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
|
Risorse:
Prospettive_della_ricerca_logica.pdf
|
||
Interazione e scienze biologiche
| Speaker: | Giulia Frezza (Università Roma Tre e Université Paris 7)
|
|
| Quando: | 09/07/2010 - 14:20
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
|
Risorse:
Frezza_INTERAZIONE.pdf
|
||
Interazione e conoscenza: folksonomie e ontologie
| Speaker: | Marco Romano (Università Roma Tre e Université Paris 13)
|
|
| Quando: | 09/07/2010 - 15:00
|
|
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
|
|
|
Abstract
|
||
|
Risorse:
Interazione_e_Conoscenza_MR.pdf
|
||