CODICE | 73029 |
---|---|
ANNO ACCADEMICO | 2017/2018 |
CFU | 6 cfu al 1° anno di 8759 INFORMATICA (L-31) GENOVA |
SETTORE SCIENTIFICO DISCIPLINARE | MAT/01 |
LINGUA | Italiano |
SEDE | GENOVA (INFORMATICA ) |
PERIODO | 1° Semestre |
MODULI | Questo insegnamento è un modulo di: |
MATERIALE DIDATTICO | AULAWEB |
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.
ANNA MARIA BIGATTI (Presidente)
ETTORE GIOVANNI CARLETTI (Presidente)
GIUSEPPE ROSOLINI (Presidente)
Tradizionale
L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.
Prova scritta e prova orale
Data | Ora | Luogo | Tipologia | Note |
---|---|---|---|---|
11/01/2018 | 09:00 | GENOVA | Scritto | Aule 506+505 |
30/01/2018 | 09:00 | GENOVA | Scritto | Aule 506+505 |
04/06/2018 | 09:00 | GENOVA | Scritto | Aule 506+505 |
03/07/2018 | 09:00 | GENOVA | Scritto | Aule 506+505 |
13/09/2018 | 09:00 | GENOVA | Scritto | Aule 506+505 |