Programma del corso Complessita` Computazionale
dvi file,
I quadrimestre 1999-2000
Programma del corso di Intelligenza Artificiale,
Deduzione Meccanizzata dvi file,
I quadrimestre 1999-2000
Programma del corso di Computational Logic,
pdf file,
I quadrimestre 2008-09
Esercizi di ricapitolazione per un corso di
Elements of Computability,
insegnato al QMW College, University of London, UK, II quadrimestre 2000-2001.
Mock-Exam (pdf file)
(ps file)