|
Università
di Udine |
|
Università
di Udine |
Reverse mathematics
Descriptive Set Theory
Wqo and bqo theory
Computable analysis
List of publications (with some preprints and links)
I was involved in the organization of Logic Colloquium 2018, held in Udine from July 23 to July 28.
Professore Ordinario di Logica Matematica (MAT/01).
Nell'anno accademico 2018-19 tengo i seguenti corsi:
Logica Matematica per il Corso di Laurea triennale in Informatica;
Logica matematica per il Corso di Laurea triennale in Matematica (in collaborazione con il prof. Franco Parlamento: io terrò prevalentemente le lezioni del secondo semestre);
Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica (in collaborazione con il dott. Vincenzo Dimonte);
Teoria descrittiva degli insiemi e forcing per il Dottorato di Ricerca in Informatica e Scienze Matematiche e Fisiche (in collaborazione con il dott. Vincenzo Dimonte).
I corsi di Teoria degli Insiemi e Matematiche Complementari per il Corso di Laurea Magistrale in Matematica negli ultimi anni è stato attivato ad anni alterni e verranno presumibilmente attivati nel 2019-20, quando dovrebbe tacere il corso di Istituzioni di Logica 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: giovedì 27 settembre, ore 14-16. Durante il primo semestre: lunedì 8.30-10.30. Il 15 ottobre non ci sarà ricevimento per la concomitanza con l’inaugurazione dell’anno accademico. Eventuali variazioni saranno tempestivamente comunicate su questa pagina. Per appuntamenti fuori orario contattatemi via email.
Dipartimento di Scienze Matematiche, Informatiche e Fisiche
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
