|
i |
Università
di Udine |
|
i |
Università
di Udine |
Reverse mathematics
Descriptive Set Theory
Wqo and bqo theory
Computable analysis
List of publications (with some preprints and links)
Professore Ordinario di Logica Matematica (MAT/01).
Nell'anno accademico 2017-18 tengo i seguenti corsi:
Logica Matematica per il Corso di Laurea triennale in Informatica;
Teoria degli Insiemi per il Corso di Laurea Magistrale in Matematica;
Matematiche Complementari per il Corso di Laurea Magistrale in Matematica (in collaborazione con il prof. Panti);
Teoria descrittiva degli insiemi, Assioma di determinatezza e Grandi cardinali per il Dottorato di Ricerca in Informatica e Scienze Matematiche e Fisiche (in collaborazione con il dott. Dimonte).
Il corso di Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica negli ultimi anni è stato attivato ad anni alterni e verrà presumibilmente attivato nel 2018-19, quando dovrebbero tacere i corsi di Teoria degli Insiemi e di Matematiche Complementari.
I seguenti corsi da me tenuti in passato non sono previsti dall'ordinamento attuale. Gli studenti iscritti agli ordinamenti corrispondenti possono però ancora sostenere gli esami:
Elementi di Logica Matematica (3 CFU) per il Corso di Laurea triennale in Informatica ex DM 509/99.
Logica Matematica (primo modulo) per il Corso di Laurea quinquennale in Informatica (vecchio ordinamento).
Ricevimento studenti durante il primo semestre: lunedì ore 13.30-15.30. Chi non potesse venire in questo orario può contattarmi via email. Eventuali variazioni saranno indicate qui. Il ricevimento del 9 ottobre è annullato perché sarò a un convegno fuori Udine.
dal 19/02/2016 il mio ufficio è nella stanza 6, stecca Nord (ex ufficio del prof. Cecchini, tra gli uffici della prof. D'Agostino e del prof. Policriti).
Dipartimento di Matematica e Informatica
Via delle Scienze, 208 -- Loc.
Rizzi
33100 Udine
-- Italy 
office:
2nd floor, room NN6
phone:
+39 0432 558 482
fax:
+39 0432 558 499 
e-mail:
firstname.lastname at uniud.it
