CODICE 61711 ANNO ACCADEMICO 2016/2017 CFU 6 cfu anno 2 MATEMATICA 9011 (LM-40) - 6 cfu anno 2 INFORMATICA 9014 (LM-18) - SETTORE SCIENTIFICO DISCIPLINARE MAT/01 LINGUA Italiano (Inglese a richiesta) SEDE PERIODO 1° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Approfondire alcuni argomenti di teoria della dimostrazione. MODALITA' DIDATTICHE Tradizionale PROGRAMMA/CONTENUTO 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. TESTI/BIBLIOGRAFIA 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. DOCENTI E COMMISSIONI GIUSEPPE ROSOLINI Ricevimento: su appuntamento Commissione d'esame GIUSEPPE ROSOLINI (Presidente) MARCO BORGA LEZIONI INIZIO LEZIONI 26 Settembre 2016 Orari delle lezioni LOGICA MATEMATICA 2 ESAMI MODALITA' D'ESAME Orale Calendario appelli Data appello Orario Luogo Tipologia Note 05/06/2017 09:00 GENOVA Orale 06/06/2017 09:00 GENOVA Orale 19/06/2017 09:00 GENOVA Orale 23/06/2017 09:00 GENOVA Orale 06/07/2017 09:00 GENOVA Orale 12/07/2017 09:00 GENOVA Orale 04/09/2017 09:00 GENOVA Orale 14/09/2017 09:00 GENOVA Orale ALTRE INFORMAZIONI Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti) Modalità di frequenza: Facoltativa Modalità di iscrizione agli esami
