Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Mathematics - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
1 module between the following (a.a. 2022/23 Computational Algebra not activated; a.a. 2023/24 Homological Algebra not activated)1 module between the following 3 modules among the followingLegenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Advanced course in foundations of mathematics (2022/2023)
Codice insegnamento
4S001104
Coordinatore
Crediti
6
Lingua di erogazione
Inglese
Settore Scientifico Disciplinare (SSD)
MAT/01 - LOGICA MATEMATICA
Periodo
Secondo semestre dal 6 mar 2023 al 16 giu 2023.
Obiettivi di apprendimento
Questo insegnamento di carattere monografico introduce contenuti avanzati nell'ambito dei fondamenti della matematica e discute le loro ripercussioni nella matematica praticata. Gli argomenti specifici sono dettagliati nel programma. l termine dell'insegnamento lo studente conoscerà contenuti avanzati legati ai fondamenti della matematica e sarà in grado di riflettere sui loro legami con altre discipline matematiche e non. Dovrà essere in grado di produrre argomentazioni e dimostrazioni rigorose e di leggere articoli e testi (anche avanzati) relativi alla materia.
Prerequisiti e nozioni di base
Laurea triennale in matematica (pura, applicata, ...). In alternativa una laurea triennale in qualche materia affine (informatica, statistica, ...) se l'accento degli studi era posto sui metodi formali e matematici.
Programma
Istituzioni della teoria assiomatica degli insiemi secondo Zermelo e Fraenkel, con attenzione sia ad aspetti costruttivi che a metodi transfiniti (numeri ordinali, assioma di scelta ecc.).
Teoremi di incompletezza di Gödel e la loro ripercussione al programma di Hilbert, con elementi della teoria della computabilità (funzioni e predicati ricorsivi ecc.).
Bibliografia
Modalità didattiche
Tutte le ore dell'insegnamento saranno tenute in aula. Inoltre saranno assegnati esercizi da svolgere a casa che in parte verranno discussi durante le ore dell'insegnamento.
Modalità di verifica dell'apprendimento
L'esame consiste in una sola prova orale a quesiti aperti e voti in trentesimi. Le modalità d’esame non sono differenziate fra frequentanti e non frequentanti.
Criteri di valutazione
L'esame ha lo scopo di verificare la piena maturità circa le tecniche dimostrative e la capacità di leggere e comprendere argomenti avanzati dei fondamenti della matematica.
Criteri di composizione del voto finale
Il voto finale consiste nell'esito della sola prova orale.
Lingua dell'esame
English
