|
|
|
Corsi impartiti nell'anno accademico 2011/2012
Linguaggi di programmazione, Laurea in Informatica, II anno.Complementi di linguaggi di programmazione, Laurea Magistrale in Informatica, secondo semestre.
Informatica, Laurea in Matematica, I anno, secondo semestre.
Logica, discorso e conoscenza: Logica classica, Collegio Superiore dell'Università di Bologna.
Abilità informatiche, Corso di Laurea in Scienze Biologiche, primo semestre. Docente coordinatore del corso, tenuto parzialmente in e-learning attraverso il Sistema A3.
Ricevimento Studenti: info
Opinioni degli studenti sulle attività didattiche: questionari
Corsi impartiti in anni accademici precedenti
Tipi nei linguaggi di programmazione, Laurea Magistrale in Informatica.Paradigmi di programmazione, Laurea in Informatica.
Laboratorio di progettazione di sistemi software, Laurea in Informatica.
Linguaggi di programmazione avanzati, Laurea Specialistica in Informatica, secondo semestre. Modulo di linguaggi funzionali.
Logica, discorso e conoscenza: Calcolabilità, Collegio Superiore dell'Università di Bologna.
Logic for computer scientists, Dottorato di Ricerca in Informatica dell'Università di Pisa.
Logica matematica, Laurea in Informatica. Mutuato anche da Filosofia.
Logica, discorso e conoscenza: Logica e verità, Collegio Superiore dell'Università di Bologna.
Implicit Computational Complexity, Bertinoro International Spring School for Graduate Studies in Computer Science. Teaching material: first part; second part; third part. Guest lectures: Patrick Baillot's slides; Ugo Dal Lago's slides. Preliminary Reading list for examination. Logica e Informatica: Quello che i calcolatori possono e non possono fare, Collegio Superiore dell'Università di Bologna.
Fondamenti dell'informatica, Laurea in informatica, Udine
Laboratorio di algoritmi e strutture dati, Laurea in informatica, Udine
Informatica applicata alla didattica, Laurea in Scienze della formazione primaria, Udine
Functional programming: foundations and applications, B.M. Birla Science Centre, Hyderabad, India
Riduzione ottimale dei linguaggi funzionali, Dottorato in informatica, Udine
Logica matematica, Laurea in Scienze dell'informazione, Pisa
Teoria della dimostrazione, Dottorato in informatica, Pisa