Salta al contenuto principale
CODICE 73027
ANNO ACCADEMICO 2016/2017
CFU
SETTORE SCIENTIFICO DISCIPLINARE MAT/02
LINGUA Italiano
SEDE
PERIODO 1° Semestre
MODULI Questo insegnamento è un modulo di:
MATERIALE DIDATTICO AULAWEB

OBIETTIVI E CONTENUTI

MODALITA' 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

GIUSEPPE ROSOLINI (Presidente)

ANNA MARIA BIGATTI

ETTORE GIOVANNI CARLETTI

GIULIA FROSONI

ULDERICO FUGACCI

RUGGERO PAGNAN

LEZIONI

Orari delle lezioni

L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy

ESAMI

MODALITA' D'ESAME

Prova scritta e prova orale

Calendario appelli

Dati Ora Luogo Tipologia Note
05/06/2017 09:00 GENOVA Scritto Aula 505 + 506
04/07/2017 09:00 GENOVA Scritto Aula 505 + 506
14/09/2017 09:00 GENOVA Scritto Aula 505 + 506