Informazioni in aggiornamento fino al 30/06/2026 CODICE 73027 ANNO ACCADEMICO 2026/2027 CFU 6 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MATH-02/A SEDE GENOVA PERIODO 1° Semestre MODULI Questo insegnamento è un modulo di: ALGEBRA E LOGICA PER INFORMATICA MATERIALE DIDATTICO AULAWEB OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Scopo del moduloo è che i partecipanti acquisiscano conoscenze e comprendano il ragionamento astratto dell’algebra e la capacità di individuare strutture simili in contesti diversi, nonché 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: Ricevimento su appuntamento da richiedere via mail alla 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' 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.
