Salta al contenuto principale della pagina

ALGEBRA

CODICE 73027
ANNO ACCADEMICO 2020/2021
CFU
  • 6 cfu al 1° anno di 8759 INFORMATICA (L-31) - GENOVA
  • SETTORE SCIENTIFICO DISCIPLINARE MAT/02
    LINGUA Italiano
    SEDE
  • GENOVA
  • 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)

    ALESSIO CAMINATA (Presidente Supplente)

    ALESSANDRO VERRI (Presidente Supplente)

    LEZIONI

    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
    26/01/2021 09:00 GENOVA Scritto
    11/02/2021 09:00 GENOVA Scritto
    29/06/2021 09:00 GENOVA Scritto
    15/07/2021 09:00 GENOVA Scritto
    08/09/2021 09:00 GENOVA Scritto