• Obiettivi e contenuti
    • 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.

      URL Aula web
      ELEMENTI DI MATEMATICA E LOGICA (MOD 1 MATEMATICA DISCRETA)
      https://dibris.aulaweb.unige.it/
  • Chi
  • Come
  • Dove e quando
    • URL Aula web
      ELEMENTI DI MATEMATICA E LOGICA (MOD 1 MATEMATICA DISCRETA)
      https://dibris.aulaweb.unige.it/
      RICEVIMENTO STUDENTI
      Anna Maria Bigatti

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

      Appelli
      Data Ora Tipo Luogo Note
      11 gennaio 2018 9:00 Scritto Genova Aule 506+505
      30 gennaio 2018 9:00 Scritto Genova Aule 506+505
      4 giugno 2018 9:00 Scritto Genova Aule 506+505
      3 luglio 2018 9:00 Scritto Genova Aule 506+505
      13 settembre 2018 9:00 Scritto Genova Aule 506+505
  • Contatti