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 strutture simili in ambienti diversi. 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 ALDO CONCA Ricevimento: Su appuntamento da concordare con il docente LEZIONI INIZIO LEZIONI In accordo con il calendario didattico approvato dal Consiglio dei Corsi di Studio in Informatica: https://corsi.unige.it/corsi/11896/studenti-orario Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME Esame scritto 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. ALTRE INFORMAZIONI Per ulteriori informazioni, consultare il modulo Aulaweb dell'insegnamento o contattare il docente.