| CODICE | 61711 |
|---|---|
| ANNO ACCADEMICO | 2016/2017 |
| CFU |
6 cfu al 2° anno di 9011 MATEMATICA (LM-40) GENOVA
6 cfu al 2° anno di 9014 INFORMATICA (LM-18) 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
a) Completamento sul teorema di Gödel: computabilità e ricorsività; dimostrazione del teorema di incompletezza e analisi di alcune sue conseguenze.
b) Dimostrazioni formali e informali a confronto. Introduzione alla teoria della dimostrazione: la deduzione naturale di Gentzen e il calcolo dei sequenti. il teorema di normalizzazionei e il teorema di eliminazione del taglio.
c) Rivisitazione del problema dei fondamenti e analisi della sua rilevanza nell'insegnamento della matematica.
M. Borga, Elementi di logica matematica, EUROMA (La Goliardica), Roma, 1984, ristampa, 1992.
M. Borga, Fondamenti di logica: introduzione alla teoria della dimostrazione, Franco Angeli, Milano, 1995.
Ricevimento: su appuntamento
GIUSEPPE ROSOLINI (Presidente)
MARCO BORGA
Tradizionale
26 Settembre 2016
Orale
| Data | Ora | Luogo | Tipologia | Note |
|---|---|---|---|---|
| 05/06/2017 | 09:00 | GENOVA | Orale | Prenotarsi almeno 4 giorni prima per e-mail presso il docente |
| 06/06/2017 | 09:00 | GENOVA | Orale | |
| 19/06/2017 | 09:00 | GENOVA | Orale | |
| 23/06/2017 | 09:00 | GENOVA | Orale | Prenotarsi almeno 4 giorni prima per e-mail presso il docente |
| 06/07/2017 | 09:00 | GENOVA | Orale | |
| 12/07/2017 | 09:00 | GENOVA | Orale | Prenotarsi almeno 4 giorni prima per e-mail presso il docente |
| 04/09/2017 | 09:00 | GENOVA | Orale | Prenotarsi almeno 4 giorni prima per e-mail presso il docente |
| 14/09/2017 | 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