| 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