Tradizionale
1. Nozioni di base (a) Insiemi, prodotti cartesiani (b) Relazioni: ordine, equivalenza (c) Funzioni, infinito (d) Cardinalità
2. Matematica Discreta (a) Numeri naturali e induzione (b) Numeri interi (c) Numeri complessi (d) Matrici (e) Polinomi (f) Algoritmo euclideo (g) Aritmetica modulare (h) Strutture: monoidi, liste, grafi, cammini
3. Algebra lineare (a) Cenni sugli spazi vettoriali (b) Risoluzione di sistemi lineari
4. Logica matematica (a) Sintassi: calcolo dei predicati e teorie formali (b) Semantica: interpretazioni, modelli (c) Correttezza e completezza per la logica del prim'ordine (d) Cenni ai Teoremi di Gödel, di Turing, di Church
Note del docente disponibili. "Introduzione alla logica matematica" di Elliott Mendelson, Serie di Logica Matematica, Bollati Boringhieri editore.
Ricevimento: su appuntamento
GIUSEPPE ROSOLINI (Presidente)
ANNA MARIA BIGATTI
ETTORE GIOVANNI CARLETTI
GIULIA FROSONI
ULDERICO FUGACCI
RUGGERO PAGNAN
Prova scritta e prova orale