CODICE 73029 ANNO ACCADEMICO 2017/2018 CFU 6 cfu anno 1 INFORMATICA 8759 (L-31) - SETTORE SCIENTIFICO DISCIPLINARE MAT/01 LINGUA Italiano SEDE PERIODO 1° Semestre MODULI Questo insegnamento è un modulo di: ELEMENTI DI MATEMATICA E LOGICA MATERIALE DIDATTICO AULAWEB OBIETTIVI E CONTENUTI MODALITA' DIDATTICHE Tradizionale PROGRAMMA/CONTENUTO 1. Nozioni di base (a) Insiemi, prodotti cartesiani (b) Relazioni: ordine, equivalenza (c) Funzioni, infinito (d) Cardinalità 2. Matematica Discreta (a) Numeri naturali e induzione (b) Numeri interi (c) Numeri complessi (d) Matrici (e) Polinomi (f) Algoritmo euclideo (g) Aritmetica modulare (h) Strutture: monoidi, liste, grafi, cammini 3. Algebra lineare (a) Cenni sugli spazi vettoriali (b) Risoluzione di sistemi lineari 4. Logica matematica (a) Sintassi: calcolo dei predicati e teorie formali (b) Semantica: interpretazioni, modelli (c) Correttezza e completezza per la logica del prim'ordine (d) Cenni ai Teoremi di Gödel, di Turing, di Church TESTI/BIBLIOGRAFIA Note del docente disponibili. "Introduzione alla logica matematica" di Elliott Mendelson, Serie di Logica Matematica, Bollati Boringhieri editore. DOCENTI E COMMISSIONI ETTORE GIOVANNI CARLETTI Commissione d'esame ANNA MARIA BIGATTI (Presidente) ETTORE GIOVANNI CARLETTI (Presidente) GIUSEPPE ROSOLINI (Presidente) LEZIONI Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME Prova scritta e prova orale Calendario appelli Data appello Orario Luogo Tipologia Note 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