Section outline

  • Questa parte del corso si occupa di insegnare i fondamenti della logica matematica, sia proposizionale che dei predicati.

    • Materiale didattico

      Il libro di testo: le lezioni di logica seguono molto da vicino l'impostazione e i contenuti di questo testo. Le parti da studiare del libro vanno dall'introduzione fino al capitolo 5 più il capitolo 7.

    • Dispensa del docente File
      Una breve dispensa con alcuni approfondimenti che fanno parte integrante del programma del corso.
      Uploaded 8/02/22, 11:52
    • Raccolta di esercizi di logica File

      Si faccia attenzione che le notazioni che appaiono in questi esercizi non sono del tutto consistenti con le notazioni che usiamo a lezione, soprattutto per ciò che riguarda la logica dei predicati.

      Uploaded 8/02/22, 11:54

    • Materiale didattico integrativo

    • Presentazione del corso File
      Uploaded 21/02/22, 09:54
    • Slide di introduzione alla logica File
      Uploaded 8/02/22, 12:47
    • Slide sulle proposizioni semplici File
      Uploaded 8/02/22, 12:49

    • Dettaglio delle lezioni

      Qui troverete il programma dettagliato delle lezioni e i file con il contenuto delle "lavagne". I file sono da utilizzare con il programma Xournal++.

      • 21/2/2022. Presentazione del corso. Introduzione alla logica.
      • 07/3/2022. Connettivi: negazione, congiunzione e disgiunzione. Forme proposizionali. (lavagna)
      • 14/3/2022. Implicazione, doppia implicazione, NAND e NOR. (lavagna)
      • 21/3/2022. Forme proposizionali: definizione formale. Tatutologie e contraddizioni. Equivalenza logica. (lavagna)
      • 28/3/2022. Semplificazione di forme proposizionali. Basi di connettivi. (lavagna)
      • 04/4/2022. La logica in elettronica. Metodo indiretto per la verifica delle tautologie. (lavagna)
      • 11/4/2022. Conseguenza logica e correttezza delle regole di inferenza. (lavagna)
      • 03/5/2022. Introduzione alla logica dei predicati. (lavagna)
      • 10/5/2022. Quantificatori limitati. Definizione formale di formula ben formata (lavagna)
      • 17/5/2022. Variabili libere e vincolate. Introduzione informale alla semantica della logica dei predicati (lavagna)
      • 23/5/2022. Formalizzazione della semantica della logica dei predicati. (lavagna)
      • 24/5/2022. Formule valide, equivalenza, conseguenza logica e regole di inferenza per la logica dei predicati (lavagna)
      • 26/5/2022. Esercizi di logica dei predicati (lavagna)