CODICE 61711 ANNO ACCADEMICO 2018/2019 CFU 8 cfu anno 2 MATEMATICA 9011 (LM-40) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MAT/01 LINGUA Italiano (Inglese a richiesta) SEDE GENOVA 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) RICCARDO CAMERLO 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 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 ALTRE INFORMAZIONI Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti) Modalità di frequenza: Facoltativa Modalità di iscrizione agli esami