Salta al contenuto principale della pagina

ALGEBRA

CODICE 73027
ANNO ACCADEMICO 2019/2020
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 AULAWEB

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.

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

RICCARDO CAMERLO (Presidente)

ETTORE GIOVANNI CARLETTI (Presidente)

LEZIONI

MODALITA' DIDATTICHE

Tradizionale

Orari delle lezioni

L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.

ESAMI

MODALITA' D'ESAME

Prova scritta e prova orale

Calendario appelli

Data Ora Luogo Tipologia Note
09/01/2020 09:00 GENOVA Scritto
28/01/2020 09:00 GENOVA Scritto
01/06/2020 09:00 GENOVA Scritto
30/06/2020 09:00 GENOVA Scritto
10/09/2020 09:00 GENOVA Scritto