CODICE | 90705 |
---|---|
ANNO ACCADEMICO | 2016/2017 |
CFU |
7 cfu al 1° anno di 9011 MATEMATICA (LM-40) GENOVA
7 cfu al 3° anno di 8760 MATEMATICA (L-35) GENOVA |
SETTORE SCIENTIFICO DISCIPLINARE | MAT/01 |
LINGUA | Italiano |
SEDE | GENOVA (MATEMATICA) |
PERIODO | 2° Semestre |
MATERIALE DIDATTICO | AULAWEB |
Le lezioni si tengono in lingua italiana.
Studio di teorie 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. Le teorie formali e i calcoli deduttivi.
La teoria dei tipi. Il problema della coerenza. La teoria dei numeri al prim'rdine. Le funzioni ricorsive. I teoremi di incompletezza.
Il decimo problema di Hilbert e la sua soluzione.
Note per il corso.
Ricevimento: su appuntamento
GIUSEPPE ROSOLINI (Presidente)
MARCO BORGA
Tradizionale
27 Febbraio 2017
Data | Ora | Luogo | Tipologia | Note |
---|---|---|---|---|
05/06/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
29/06/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
20/07/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
04/09/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
20/09/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
Modalità di frequenza: Facoltativa