| CODICE | 61711 |
|---|---|
| ANNO ACCADEMICO | 2018/2019 |
| CFU | 8 cfu al 2° anno di 9011 MATEMATICA (LM-40) GENOVA |
| SETTORE SCIENTIFICO DISCIPLINARE | MAT/01 |
| LINGUA | Italiano (Inglese a richiesta) |
| SEDE | GENOVA (MATEMATICA) |
| PERIODO | 1° Semestre |
| MATERIALE DIDATTICO | AULAWEB |
Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta.
Approfondire alcuni argomenti di teoria della dimostrazione.
Tradizionale
Richiami di teoria delle categorie.
Le funzioni ricorsive.
Alcuni aspetti di teorie dalle dimostrazione: tra questi, il teorema di incompletezza di Gödel, i modelli della realizzabilità di Kleene, il decimo problema di Hilbert.
Note del corso
Ricevimento: su appuntamento
GIUSEPPE ROSOLINI (Presidente)
RICCARDO CAMERLO
RUGGERO PAGNAN
Tradizionale
In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.
Orale
| Data | Ora | Luogo | Tipologia | Note |
|---|---|---|---|---|
| 07/01/2019 | 09:00 | GENOVA | Orale | |
| 23/01/2019 | 09:00 | GENOVA | Orale | |
| 08/02/2019 | 09:00 | GENOVA | Orale | |
| 03/06/2019 | 09:00 | GENOVA | Orale | |
| 21/06/2019 | 09:00 | GENOVA | Orale | |
| 10/07/2019 | 09:00 | GENOVA | Orale | |
| 02/09/2019 | 09:00 | GENOVA | Orale |
Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti)
Modalità di frequenza: Facoltativa
Modalità di iscrizione agli esami