CODICE 73026 ANNO ACCADEMICO 2017/2018 CFU 12 cfu anno 1 INFORMATICA 8759 (L-31) - LINGUA Italiano SEDE MODULI Questo insegnamento è composto da: ELEMENTI DI MATEMATICA E LOGICA (MOD 1 MATEMATICA DISCRETA) ELEMENTI DI MATEMATICA E LOGICA (MOD 2 LOGICA) PRESENTAZIONE OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Il corso intende introdurre al metodo razionale, addestrando all'uso del linguaggio scientifico, analizzando le tecniche specifiche del ragionamento logico-deduttivo con applicazioni alla programmazione. Si forniscono gli elementi di base di matematica discreta e di algebra lineare, utilizzando il formalismo e l'astrazione per abituare ad un metodo di ragionamento rigoroso. Si introducono i concetti fondamentali (insiemi, prodotti cartesiani, funzioni, numeri naturali e induzione, equivalenze, cardinalità), strutture algebriche (monoidi, liste, grafi, cammini, anelli di matrici, spazi vettoriali), strutture logiche (calcolo dei predicati e teorie formali, interpretazioni, modelli) e si presentano risultati importanti di matematica discreta e loro applicazioni: - Algoritmo euclideo - Aritmetica modulare - Risoluzione di sistemi lineari - Correttezza e completezza per la logica del prim'ordine - Teoremi di Gödel, di Turing, di Church DOCENTI E COMMISSIONI ETTORE GIOVANNI CARLETTI ANNA MARIA BIGATTI Ricevimento: Ricevimento a richiesta, durante tutto l'anno accademico, previo appuntamento via mail o telefonico Commissione d'esame ANNA MARIA BIGATTI (Presidente) ETTORE GIOVANNI CARLETTI (Presidente) GIUSEPPE ROSOLINI (Presidente) ESAMI Calendario appelli Data appello Orario Luogo Tipologia Note Insegnamento 11/01/2018 09:00 GENOVA Scritto 30/01/2018 09:00 GENOVA Scritto 04/06/2018 09:00 GENOVA Scritto 03/07/2018 09:00 GENOVA Scritto 13/09/2018 09:00 GENOVA Scritto 11/01/2018 09:00 GENOVA Scritto 30/01/2018 09:00 GENOVA Scritto 04/06/2018 09:00 GENOVA Scritto 03/07/2018 09:00 GENOVA Scritto 13/09/2018 09:00 GENOVA Scritto