Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Concetti insiemistici elementari: insiemi, operazioni sugli insiemi; relazioni, dominio e immagine di una relazione; relazioni di equivalenza; relazioni d'ordine, massimi e minimi, estremi superiori e inferiori; funzioni, funzioni iniettive, funzioni suriettive (su), funzioni invertibili, composizione di funzioni; famiglie.
MAT/05 - Analisi Matematica
Il principio di induzione: induzione matematica e completa; dimostrazioni per induzione; definizioni per ricorrenza.
MAT/01 - Logica Matematica
Cardinalita' di un insieme: insiemi numerabili e insiemi piu' che numerabili; il Teorema di Cantor; il Teorema di Cantor Schroeder-Bernstein; il concetto di "numero cardinale di un insieme" introdotto in modo assiomatico; cardinalità di insiemi notevoli.
MAT/01 - Logica Matematica
Elementi di Logica proposizionale: linguaggio e formule; tavole di verita' ; tautologie e conseguenza tautologica.
MAT/05 - Analisi Matematica
Una presentazione assiomatica del campo Ordinato dei numeri reali; proprietà di Archimede e risultati equivalenti; incompletezza del campo ordinato dei numeri razionali.
MAT/05 - Analisi Matematica
Insiemi di numeri reali limitati e con estremi. Funzioni reali determinate da un termine. Successioni di numeri reali.