ELEMENTI DI MATEMATICA E LOGICA (MOD 1 MATEMATICA DISCRETA)

ELEMENTI DI MATEMATICA E LOGICA (MOD 1 MATEMATICA DISCRETA)

_
iten
Codice
73027
ANNO ACCADEMICO
2017/2018
CFU
6 cfu al 1° anno di 8759 INFORMATICA (L-31) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
MAT/02
LINGUA
Italiano
SEDE
GENOVA (INFORMATICA )
periodo
1° Semestre
moduli
Questo insegnamento è un modulo di:
materiale didattico

OBIETTIVI E CONTENUTI

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

Ricevimento: Ricevimento a richiesta, durante tutto l'anno accademico, previo appuntamento via mail o telefonico

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

ETTORE GIOVANNI CARLETTI (Presidente)

ANNA MARIA BIGATTI (Presidente)

LEZIONI

Modalità didattiche

Tradizionale

ESAMI

Modalità d'esame

Prova scritta e prova orale