CODICE 90705 ANNO ACCADEMICO 2016/2017 CFU 7 cfu anno 1 MATEMATICA 9011 (LM-40) - 7 cfu anno 3 MATEMATICA 8760 (L-35) - SETTORE SCIENTIFICO DISCIPLINARE MAT/01 LINGUA Italiano SEDE PERIODO 2° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE Le lezioni si tengono in lingua italiana. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Studio di teorie del prim'ordine e dei loro modelli, per analizzare sia questioni semantiche, quali i teoremi di completezza e di compattezza, che questioni sintattiche, quale i teoremi di incompletezza. MODALITA' DIDATTICHE Tradizionale PROGRAMMA/CONTENUTO La logica nella pratica matematica. Le teorie formali e i calcoli deduttivi. La teoria dei tipi. Il problema della coerenza. La teoria dei numeri al prim'rdine. Le funzioni ricorsive. I teoremi di incompletezza. Il decimo problema di Hilbert e la sua soluzione. TESTI/BIBLIOGRAFIA Note per il corso. DOCENTI E COMMISSIONI GIUSEPPE ROSOLINI Ricevimento: su appuntamento Commissione d'esame GIUSEPPE ROSOLINI (Presidente) MARCO BORGA LEZIONI INIZIO LEZIONI 27 Febbraio 2017 Orari delle lezioni LOGICA MATEMATICA 1 ESAMI Calendario appelli Data appello Orario Luogo Tipologia Note 05/06/2017 09:00 GENOVA Orale 29/06/2017 09:00 GENOVA Orale 20/07/2017 09:00 GENOVA Orale 04/09/2017 09:00 GENOVA Orale 20/09/2017 09:00 GENOVA Orale ALTRE INFORMAZIONI Modalità di frequenza: Facoltativa