| CODICE | 90705 |
|---|---|
| ANNO ACCADEMICO | 2017/2018 |
| CFU |
7 cfu al 3° anno di 8760 MATEMATICA (L-35) GENOVA
7 cfu al 1° anno di 9011 MATEMATICA (LM-40) GENOVA |
| SETTORE SCIENTIFICO DISCIPLINARE | MAT/01 |
| SEDE | GENOVA (MATEMATICA ) |
| PERIODO | 1° Semestre |
| MATERIALE DIDATTICO | AULAWEB |
Le lezioni si tengono in lingua italiana.
Studio di teorie logiche del prim'ordine e dei loro modelli, per analizzare sia questioni semantiche, quali i teoremi di completezza e di compattezza, che questioni sintattiche, quale i teoremi di incompletezza.
Tradizionale
La logica nella pratica matematica e nella didattica matematica.
La teoria delle categorie come strumento matematico per strutturare le teorie logiche: categorie, funtori, trasformazioni naturali, aggiunzioni, categorie indiciate.
Esempi di teorie logiche: il calcolo proposizionale, la logica del prim'ordine, le teorie di ordine superiore.
Le teorie formali e i calcoli deduttivi. Teoremi di rappresentazione; il teorema di completezza per le teorie logiche proposizionali e del prim'ordine.
La teoria dei tipi. Il problema della coerenza. La pratica matematica e la teoria dei tipi.
Note per il corso.
Ricevimento: su appuntamento
FABIO DI BENEDETTO (Presidente)
GIUSEPPE ROSOLINI (Presidente)
RUGGERO PAGNAN
Tradizionale
In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.
Modalità standard: prove scritte e orale.
Modalità flipped-classroom.
Verifica della conoscenza matematica delle nozioni di base della logica matematica. Analisi ella capacità di utilizzare tale conoscenza.
Modalità di frequenza: Facoltativa