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.
Tipologia di Attività formativa D e F
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/2026| anni | Insegnamenti | TAF | Docente |
|---|---|---|---|
| 1° 2° | Linguaggio programmazione Python | D |
Maurizio Boscaini
(Coordinatore)
|
| 1° 2° | SageMath | F |
Zsuzsanna Liptak
(Coordinatore)
|
| 1° 2° | Storia della fisica moderna 2 | D |
Francesca Monti
(Coordinatore)
|
| 1° 2° | Storia e didattica della geologia | D |
Guido Gonzato
(Coordinatore)
|
| anni | Insegnamenti | TAF | Docente |
|---|---|---|---|
| 1° 2° | Advanced topics in financial engineering | D |
Luca Di Persio
(Coordinatore)
|
| 1° 2° | Linguaggio Programmazione C | D |
Sara Migliorini
(Coordinatore)
|
| 1° 2° | Linguaggio Programmazione C++ | D |
Federico Busato
(Coordinatore)
|
| 1° 2° | Linguaggio Programmazione LaTeX | D |
Enrico Gregorio
(Coordinatore)
|
| anni | Insegnamenti | TAF | Docente |
|---|---|---|---|
| 1° 2° | Axiomatic set theory for mathematical practice | F |
Peter Michael Schuster
(Coordinatore)
|
| 1° 2° | Corso Europrogettazione | D | Non ancora assegnato |
| 1° 2° | Corso online ARPM bootcamp | F | Non ancora assegnato |
| 1° 2° | ECMI modelling week | F | Non ancora assegnato |
| 1° 2° | ESA Summer of code in space (SOCIS) | F | Non ancora assegnato |
| 1° 2° | Google summer of code (GSOC) | F | Non ancora assegnato |
| 1° 2° | Higher categories | F |
Lidia Angeleri
(Coordinatore)
|
Axiomatic set theory for mathematical practice (2019/2020)
Codice insegnamento
4S009160
Docente
Coordinatore
Crediti
4
Lingua di erogazione
Inglese
Settore Scientifico Disciplinare (SSD)
MAT/01 - LOGICA MATEMATICA
Periodo
2° semestre Scienze e Ingegneria dal 2 mar 2020 al 9 mag 2020.
Sede
VERONA
Obiettivi formativi
Questo insegnamento di carattere monografico introduce contenuti avanzati nell'ambito della teoria assiomatica degli insiemi e discute il loro uso nella matematica praticata. Gli argomenti specifici sono dettagliati nel programma. l termine dell'insegnamento lo studente conoscerà contenuti avanzati legati agli artomenti dei corso e sarà in grado di riflettere sui loro uso nella matematica praticata. Dovrà essere in grado di produrre argomentazioni e dimostrazioni rigorose e di leggere articoli e testi (anche avanzati) relativi alla materia.
Programma
Introduzione alla teoria assiomatica degli insiemi secondo Zermelo e Fraenkel, con particolare attenzione alla prassi matematica. Si includono aspetti di (non)costruttività e (im)predicativitá, nonché metodi di dimostrazione transfiniti, fra cui l'assioma della scelta, il teorema del buon ordinamento ed il lemma di Zorn.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
|---|---|---|---|---|---|
| Abrusci, Vito Michele & Tortora de Falco, Lorenzo | Logica. Volume 2 - Incompletezza, teoria assiomatica degli insiemi. | Springer | 2018 | 978-88-470-3967-4 | |
| Peter Aczel, Michael Rathjen | Notes on Constructive Set Theory | 2010 | |||
| Yiannis N. Moschovakis | Notes on Set Theory | Springer | 1994 | 978-1-4757-4155-1 |
Modalità d'esame
Elaborato scritto con presentazione e discussione in aula.
