Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Elementi dalla teoria degli insiemi e di logica matematica.
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Metodi matematici: Principio d'induzione.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Cenni di combinatorica: disposizioni e combinazioni semplici e con ripetizioni.
MAT/02 - Algebra
+ DS-PT - Proof Techniques
Numeri interi, algoritmo di Euclide, equazioni diofantee, numeri primi e fattorizzazioni, aritmetica modulare, teorema del cinese del resto.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Esercitazioni: Applicazioni delle congruenze all'informatica. Cenni di crittografia.
MAT/03 - Geometria
+ DS-SRF - Sets, Relations, and Functions
Matrici, determinanti e inverse.
MAT/03 - Geometria
+ DS-PT - Proof Techniques
Strutture algebriche: Monoidi, Gruppi, Anelli e campi. e Gruppi di permutazioni e di matrici.
MAT/03 - Geometria
+ DS-BC - Basics of Counting
Grafi: planari, Euleriani,Hamiltoniani; alberi. Reticoli: reticoli distributivi e reticoli di Boole.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Funzioni iniettive, suriettive, biettive. Relazioni d'ordine e di equivalenza. Definizioni ricorsive e successioni: numeri di Fibonacci, torre di Hanoi.