Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BC - Basics of Counting
La matematica discreta: i segni, linguaggi formali, la rappresentazione e il pensiero formale
MAT/02 - Algebra
+ DS-BL - Basic Logics
Logica delle proposizioni: grammatica e semantica. Connettivi e tavole di verità. Espressioni, tautologie e contraddizioni
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Teoria degli insiemi. Linguaggio logico e linguaggio insiemistico. Combinatoria
MAT/02 - Algebra
+ DS-BL - Basic Logics
Il calcolo logico: la deduzione naturale e sottoderivazioni. Metalingiaggio e linguaggio oggetto. Predicati e Quantificatori
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Numeri naturali e principio di induzione. Numeri interi , relativi, primi e irriducibili: Fattorizzazione
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Definizione di relazione e funzione. funzioni ingettive, surgettive, bigettive. Inversa. Composizione tra funzioni
MAT/03 - Geometria
+ DS-PT - Proof Techniques
La dimostrazione matematica, dimostrazioni per assurdo. Consistenza , correttezza, completezza, decidibilità. Teorie assiomatizzate e modelli
MAT/03 - Geometria
+ DS-BC - Basics of Counting
Relazione di equivalenza, classi di equivalenza. Partizioni. Congruenza modulo n e insieme Z. Insiemi ordinati. Elementi massimali e minimali
MAT/03 - Geometria
+ DS-BC - Basics of Counting
Gruppi. Il gruppo delle permutazioni. Cicli di fattorizzazione di una permutazione. Matrici a coefficienti reali, determinante e rango di una matrice. Operazioni su e tra matrici. Campi. Anelli di Boole