|
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ò 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 durante il secondo semestre: lunedì ore 8.30-10.30. Per appuntamenti fuori orario contattatemi via email. Il ricevimento del 25 marzo è posticipato a mercoledì 27, ore 10.30-12.30.
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
