|
i |
|
i |
Reverse mathematics
Descriptive Set Theory
Wqo and bqo theory
Computable analysis
List of publications (with some preprints)
Professore Associato di Logica Matematica (MAT/01).
Nell'anno accademico 2012/13 ho tenuto i seguenti corsi:
Logica Matematica (in precedenza chiamato Logica Matematica 1) per il Corso di Laurea triennale in Informatica;
Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica;
Matematiche Complementari per il Corso di Laurea Magistrale in Matematica, in collaborazione con la prof. Giovanna D'Agostino;
Primo modulo del corso Reverse Mathematics e Complessità Logica presso la Scuola Superiore (qui le slides);
modulo di Laboratorio di software per la didattica della matematica per il Tirocinio Formativo Attivo (classe A047 - Matematica), in collaborazione con la prof. Giovanna D'Agostino e il dott. Dimitri Breda.
Il corso di Teoria degli Insiemi per il Corso di Laurea Magistrale in Matematica negli ultimi anni è stato attivato ad anni alterni con Istituzioni di Logica Matematica e nell'anno accademico scorso è stato tenuto dal prof. Franco Parlamento. Nel 2013/14 verrà nuovamente tenuto da me.
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 nei mesi di giugno e luglio: lunedì 3/6 10-12, lunedì 10/6 9.30-11.30, martedì 18/6 9-11, venerdì 28/6 9.30-11.30, mercoledì 10/7 14-16, lunedì 22/7 9.30-11.30. Nelle settimane 1-5/7 e 15-19/7 sarò fuori Udine.
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:
