|
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 terrò 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.
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 secondo semestre (25/2-7/6): venerdì, ore 10.30-12.30. Verificare eventuali cambiamenti di orario su questa pagina. Venerdì 26 aprile non ci sarà ricevimento.
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:
