• Obiettivi e contenuti
    • PROGRAMMA/CONTENUTO

      1. Nozioni di base
      (a) Insiemi, prodotti cartesiani
      (b) Relazioni: ordine, equivalenza
      (c) Funzioni, infinito
      (d) Cardinalità

      2. Matematica Discreta
      (a) Numeri naturali e induzione
      (b) Numeri interi
      (c) Numeri complessi
      (d) Matrici
      (e) Polinomi
      (f) Algoritmo euclideo
      (g) Aritmetica modulare
      (h) Strutture: monoidi, liste, grafi, cammini

      3. Algebra lineare
      (a) Cenni sugli spazi vettoriali
      (b) Risoluzione di sistemi lineari

      4. 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, di Turing, di Church

      TESTI/BIBLIOGRAFIA

      Note del docente disponibili.
      "Introduzione alla logica matematica" di Elliott Mendelson, Serie di Logica Matematica, Bollati Boringhieri editore.

      URL Aula web
      ELEMENTI DI MATEMATICA E LOGICA (MOD 2 LOGICA)
      https://dibris.aulaweb.unige.it/
  • Chi
    • Docenti
    • Ettore Giovanni Carletti
      tel. (+39) 010353 - 6884
      carletti@dima.unige.it
    • Commissione d’esame
      73027 - ELEMENTI DI MATEMATICA E LOGICA (MOD 1 MATEMATICA DISCRETA)
      73029 - ELEMENTI DI MATEMATICA E LOGICA (MOD 2 LOGICA)
      Anna Maria Bigatti (Presidente)
      Ettore Giovanni Carletti (Presidente)
      Giuseppe Rosolini (Presidente)
  • Come
  • Dove e quando
    • URL Aula web
      ELEMENTI DI MATEMATICA E LOGICA (MOD 2 LOGICA)
      https://dibris.aulaweb.unige.it/
      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