Gabriele Lolli

Telefono 011/6702891 Orario di Ricevimento Matematica
Mercoledì dalle 11 alle 12
Informatica
Martedì dalle 11 alle 12.
e-mail gabriele.lolli@unito.it Ubicazione ufficio I piano





Corsi tenuti

                          Anno Accademico 2004-2005

LOGICA MATEMATICA per il Corso di Laurea in Informatica
STATISTICA per il Corso di Laurea in Informatica
DEDUZIONE AUTOMATICA per la Laurea Magistrale in Logica Computazionale


                          Anno Accademico 2005-2006

LOGICA MATEMATICA per il Corso di Laurea in Informatica
STATISTICA per il Corso di Laurea in Informatica
LOGICHE PER INFORMATICA per la Laurea Magistrale in Logica Computazionale
LEZIONI DI MODENA per il Corso di Dottorato di Modena


                          Anno Accademico 2006-2007

In congedo, anno sabbatico.


                          Anno Accademico 2007-2008

ISTITUZIONI DI LOGICA MATEMATICA per il Corso di Laurea Magistrale in Matematica
ELEMENTI DI LOGICA 2 per il Corso di Laurea Magistrale in Matematica
LOGICA MATEMATICA per il Corso di Laurea in Informatica
LOGICHE PER INFORMATICA per la Laurea Magistrale in Logica Computazionale


Campo di ricerca
Logica matematica, fondamenti e storia della matematica


Attività organizzativa
Coordinamento Laurea Magistrale in Logica Computazionale
Convegno La complessità di Gödel, aprile 2006


Testi didattici
Dispense per il corso di Logica di Informatica 00-01
Dispense per il corso di Logica di Informatica 05-06
Momenti di svolta nello sviluppo del pensiero matematico, Lezioni di Modena per il Corso di Dottorato


Pubblicazioni recenti
Libri, articoli e interventi