Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'm9psbaeqrknbntb7f9cg3cb1g3' in /var/www/church/includes/database.mysql.inc on line 121
Lista seminari | Gruppo di Logica e Geometria della Cognizione
Home

Lista seminari

Descrizione | Programma | Lista seminari

La dimostrazione e la conoscenza matematica

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

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
Risorse: abstract_TN.pdf  John _von_Neumann_e_i_suoi_dubbi.pdf 

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 

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'm9psbaeqrknbntb7f9cg3cb1g3' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/workshop/lista/427', '', '216.73.216.15', 1758182198) in /var/www/church/includes/database.mysql.inc on line 121

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('m9psbaeqrknbntb7f9cg3cb1g3', 0, 0, '216.73.216.15', '', 1758182198) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/workshop/lista/427', '', '216.73.216.15', 1758182198) in /var/www/church/includes/database.mysql.inc on line 121