CODICE 73027 ANNO ACCADEMICO 2025/2026 CFU 6 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MAT/02 LINGUA Italiano SEDE GENOVA PERIODO 1° Semestre FRAZIONAMENTI Questo insegnamento è diviso nelle seguenti frazioni: A B MODULI Questo insegnamento è un modulo di: ALGEBRA E LOGICA PER INFORMATICA 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. OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO Al termine del modulo lo studente/la studentessa dovrà: - acquisire familiarità con il ragionamento logico-deduttivo matematico; - apprendere i concetti fondamentali e fondazionali della matematica moderna (insiemi, funzioni, numeri naturali, cardinalità); - conoscere e saper utilizzare alcuni risultati importanti di matematica discreta e le loro applicazioni in ambito computazionale (algoritmo euclideo, aritmetica modulare); - imparare a riconoscere e distinguere semplici strutture algebriche (monoidi, gruppi). PREREQUISITI Conoscenza del calcolo letterale a livello scolastico e dei concetti base della trigonometria. MODALITA' DIDATTICHE Lezioni ed esercitazioni frontali. PROGRAMMA/CONTENUTO 1. Nozioni di base - Insiemi - Funzioni - Numeri naturali e induzione - Numeri complessi - Relazioni d’equivalenza - Relazioni d'ordine - Cardinalità 2. Matematica Discreta - Numeri interi - Algoritmo euclideo - Aritmetica modulare 3. Strutture algebriche - Monoidi - Gruppi TESTI/BIBLIOGRAFIA Materiale fornito dal docente su Aulaweb. DOCENTI E COMMISSIONI EMANUELA DE NEGRI Ricevimento: Su appuntamento. LEZIONI INIZIO LEZIONI In accordo con il calendario didattico approvato dal Consiglio dei Corsi di Studio in Informatica Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME Prova scritta. Si consigliano gli studenti con certificazione di DSA, di disabilità o di altri bisogni educativi speciali di contattare il docente all’inizio dele lezioni per concordare modalità didattiche e d’esame che, nel rispetto degli obiettivi dell’insegnamento, tengano conto delle modalità di apprendimento individuali e forniscano idonei strumenti compensativi. MODALITA' DI ACCERTAMENTO L’esame verterà principalmente sugli argomenti trattati durante le lezioni frontali e avrà lo scopo di valutare non soltanto se lo studente ha raggiunto un livello adeguato di conoscenze, ma se ha acquisito la capacità di analizzare criticamente i problemi che verranno posti nel corso dell'esame. Agenda 2030 Sconfiggere la povertà Istruzione di qualità Parità di genere