|
Università
di Udine |
|
Università
di Udine |
Reverse mathematics
Descriptive Set Theory
Wqo and bqo theory
Computable analysis and the Weihrauch lattice
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 2019-20 sono titolare dei seguenti corsi:
Logica Matematica per il Corso di Laurea triennale in Informatica;
Matematiche Complementari per il Corso di Laurea Magistrale in Matematica;
Inoltre tengo alcune lezioni all’interno del corso di Matematica Discreta per il Corso di Laurea triennale in Informatica (titolare prof. Lancia).
Il corso di Teoria degli Insiemi quest’anno è tenuto dal prof. Dimonte.
Il corso di Istituzioni di Logica Matematica per il Corso di Laurea Magistrale in Matematica negli ultimi anni è stato attivato ad anni alterni e verrà presumibilmente attivato nel 2020-21, quando dovrebbero tacere i corsi di Teoria degli Insiemi e di Matematiche Complementari.
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 periodo degli esami (fino a fine febbraio): venerdì, ore 9-11; il ricevimento del 21 febbraio è anticipato a giovedì 20, ore 10.30-12.30. 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
