Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Logica proposizionale: Senso e denotazione, Connettivi, Sintassi, Induzione, Semantica, Teorema di compattezza, Equivalenza semantica, Completezza funzionale, Forme Normali, Dualità
MAT/02 - Algebra
Sistemi Deduttivi: Proprietà intuitive dei sistemi deduttivi. La Deduzione Naturale, Sistemi Assiomatici, Formule e tipi.
MAT/02 - Algebra
Altri Sistemi Assiomatici, Relazione tra ND e H, Il Calcolo dei Sequenti, Eliminazione del taglio, Invertibilità delle regole logiche.
MAT/02 - Algebra
Correttezza e Completezza: Deduzione Naturale, Sistema Assiomatico, Calcolo dei Sequenti
MAT/02 - Algebra
Teoria degli insiemi: Nozioni e simboli basilari, insiemi, relazioni ordine, congruenze, permutazioni, combinazioni. Funzioni.
MAT/02 - Algebra
Aritmetica degli interi e prime nozioni di Teoria dei numeri: congruenze e funzione di Eulero
MAT/03 - Geometria
Gruppo di permutazioni. Gruppi e omomorfismi, azione di un gruppo
MAT/03 - Geometria
Aritmetica dei polinomi. Anelli e omomorfismi.
MAT/03 - Geometria
Calcolo dei quozienti, introduzione ai campi.
MAT/03 - Geometria
Calcolo matriciale: Applicazioni lineari, rango. Riduzione di Gauss di una matrice, Determinante di una matrice
MAT/03 - Geometria
Struttura del gruppo delle permutazioni. Decomposizione in cicli e parità, Spazi vettoriali e sottospazi.
MAT/03 - Geometria
Fondamenti di teoria dei grafi e di teoria dei codici lineari