|
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 2016-17 tengo i seguenti corsi:
Logica Matematica per il Corso di Laurea triennale in Informatica;
Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica (in collaborazione con il prof. Panti);
Logica Matematica per il Corso di Laurea triennale in Matematica (in collaborazione con il prof. Parlamento e il dott. Dimonte); il materiale relativo a questo corso (dispense, ecc) si trova sul sito dei materiali didattici d'ateneo. La descrizione sintetica del corso su esse3 è qui.
Reverse Mathematics corso disciplinare per la Scuola Superiore.
I corsi di Teoria degli Insiemi e di Matematiche Complementari per il Corso di Laurea Magistrale in Matematica negli ultimi anni sono stati attivati ad anni alterni e verranno presumibilmente attivati nel 2017-18, quando dovrebbero tacere i corsi di Istituzioni di Logica Matematica e di Fondamenti della Matematica.
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 nel mese di settembre 2017: lunedì 4 ore 10-12, mercoledì 13 ore 9-11, venerdì 22 ore 10.30-12.30, venerdì 29 ore 9-11.
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
