CODICE 61711 ANNO ACCADEMICO 2017/2018 CFU 8 cfu anno 2 MATEMATICA 9011 (LM-40) - 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 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. TESTI/BIBLIOGRAFIA Note del corso DOCENTI E COMMISSIONI GIUSEPPE ROSOLINI Ricevimento: su appuntamento Commissione d'esame GIUSEPPE ROSOLINI (Presidente) RUGGERO PAGNAN LEZIONI INIZIO LEZIONI In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi. Orari delle lezioni LOGICA MATEMATICA 2 ESAMI MODALITA' D'ESAME Orale Calendario appelli Data appello Orario Luogo Tipologia Note 08/01/2018 09:00 GENOVA Orale 24/01/2018 09:00 GENOVA Orale 09/02/2018 09:00 GENOVA Orale 04/06/2018 09:00 GENOVA Orale 22/06/2018 09:00 GENOVA Orale 11/07/2018 09:00 GENOVA Orale 03/09/2018 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
