CODICE 73027 ANNO ACCADEMICO 2019/2020 CFU 6 cfu anno 1 INFORMATICA 8759 (L-31) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MAT/02 LINGUA Italiano SEDE GENOVA PERIODO 1° Semestre MODULI Questo insegnamento è un modulo di: ALGEBRA E LOGICA PER INFORMATICA MATERIALE DIDATTICO AULAWEB OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Acquisire familiarità col ragionamento astratto dell'algebra e la capacità di individuare le stesse strutture, o strutture simili, in ambienti e problemi diversi imparando a operare in economia di pensiero. Acquisire la capacità di formalizzare in modo matematicamente corretto problemi che prevedono operazioni su insiemi. MODALITA' DIDATTICHE Tradizionale PROGRAMMA/CONTENUTO 1. Nozioni di base (a) Insiemi, prodotti cartesiani (b) Funzioni, infinito (c) Numeri naturali e induzione (d) Cardinalità 2. Matematica Discreta (a) Numeri interi (b) Algoritmo euclideo (c) Aritmetica modulare (d) Monoidi, liste (e) Grafi, cammini (f) Anelli di polinomi (g) Numeri complessi 3. 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, Turing, Church 4. Algebra lineare (a) Anelli di matrici (b) Cenni sugli spazi vettoriali (c) Risoluzione di sistemi lineari TESTI/BIBLIOGRAFIA Gli appunti presi dagli studenti a lezione sono la base su cui principalmente deve essere impostato lo studio. A complemento di questo si possono usare le dispense di Matematica discreta di G. Niesi http://www.dima.unige.it/~niesi/MD/a05/MD05appunti.pdf e altre dispense su aulaweb. DOCENTI E COMMISSIONI Commissione d'esame RICCARDO CAMERLO (Presidente) ETTORE GIOVANNI CARLETTI (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 09/01/2020 09:00 GENOVA Scritto 28/01/2020 09:00 GENOVA Scritto 01/06/2020 09:00 GENOVA Scritto 30/06/2020 09:00 GENOVA Scritto 10/09/2020 09:00 GENOVA Scritto