|
i |
|
i |
Reverse mathematics
Descriptive Set Theory
Wqo and bqo theory
List of publications (with some preprints)
Professore Associato di Logica Matematica (MAT/01) presso la Facoltà di Scienze Matematiche, Fisiche e Naturali.
Per buona parte dell'anno accademico 2011/12 sono stato in congedo, e di conseguenza non ho tenuto corsi. Tra i corsi tenuti da me negli anni accademici scorsi, nell'a.a. 2011/12 sono stati attivati:
Logica Matematica (in precedenza chiamato Logica Matematica 1) per il Corso di Laurea triennale in Informatica (ex DM 270/04) tenuto dalla prof. Giovanna D'Agostino;
Teoria degli Insiemi per il Corso di Laurea Magistrale in Matematica (ex DM 270/04), tenuto dal prof. Franco Parlamento.
Negli anni accademici passati ho tenuto il seguente corso, che è di regola attivato ad anni alterni con Teoria degli Insiemi:
Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in 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: su appuntamento da fissarsi via email.
Dipartimento di Matematica e Informatica
Via delle Scienze, 208 -- Loc.
Rizzi
33100 Udine
-- Italy 
office:
2nd floor, room SN5 
phone:
+39 0432 558 482 
fax:
+39 0432 558 499 
e-mail:
