Una solida preparazione di matematica di base che fornisca gli strumenti di logica e i metodi risolutivi di problemi. La conoscenza di strutture algebriche che sono alla base dell'Informatica Teorica, strumenti necessari alla comprensione e alla formalizzazione e propedeutici agli insegnamenti avanzati degli anni successivi.
Prerequisiti
Algebra elementare. Nozioni di geometria analitica nel piano.
Metodi didattici
Lezioni frontali e laboratoriali.
Verifica Apprendimento
L'esame di Matematica Discreta consiste in una prova orale che prevede anche lo svolgimento di alcuni esercizi su tutti gli argomenti previsti dal programma per un punteggio massimo di 30/30.
Testi
1. Lindsay N. Childs, A Concrete Introduction to Higher Algebra, Springer. 2. M. Ceria, G. Rinaldo, M. Sala, Bits, Bytes and Friends, Aracne. 3. G. Rinaldo, F. Romeo. "Notes of Discrete Mathematics". A.A. 2022-2023.
Contenuti
Teoria degli insiemi e strutture algebriche con particolare enfasi sulle strutture finite utilizzate in informatica. Applicazioni alla crittografia e alla teoria dei grafi.