ALGEBRA
OBIETTIVI E CONTENUTI
OBIETTIVI FORMATIVI
Acquisire familiarità col ragionamento astratto dell'algebra e la capacità di individuare le stesse strutture, o strutture simili, in ambienti e problemi diversi imparando a operare in economia di pensiero. Acquisire la capacità di formalizzare in modo matematicamente corretto problemi che prevedono operazioni su insiemi.
Modalità didattiche
Tradizionale
PROGRAMMA/CONTENUTO
1. Nozioni di base
(a) Insiemi, prodotti cartesiani
(b) Funzioni, infinito
(c) Numeri naturali e induzione
(d) Cardinalità
2. Matematica Discreta
(a) Numeri interi
(b) Algoritmo euclideo
(c) Aritmetica modulare
(d) Monoidi, liste
(e) Grafi, cammini
(f) Anelli di polinomi
(g) Numeri complessi
3. 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, Turing, Church
4. Algebra lineare
(a) Anelli di matrici
(b) Cenni sugli spazi vettoriali
(c) Risoluzione di sistemi lineari
TESTI/BIBLIOGRAFIA
Gli appunti presi dagli studenti a lezione sono la base su cui principalmente deve essere impostato lo studio.
A complemento di questo si possono usare le dispense di Matematica discreta di G. Niesi
http://www.dima.unige.it/~niesi/MD/a05/MD05appunti.pdf
e altre dispense su aulaweb.
DOCENTI E COMMISSIONI
Commissione d'esame
RICCARDO CAMERLO (Presidente)
ALESSIO CAMINATA (Presidente Supplente)
LEZIONI
Modalità didattiche
Tradizionale
ESAMI
Modalità d'esame
Prova scritta e prova orale
Calendario appelli
Data | Ora | Luogo | Tipologia | Note |
---|---|---|---|---|
29/06/2021 | 09:00 | GENOVA | Scritto | |
15/07/2021 | 09:00 | GENOVA | Scritto | |
08/09/2021 | 09:00 | GENOVA | Scritto |