Materiale didattico del modulo di Logica
Schema della sezione
-
-
Trovate in questa cartella tutte le slide e le lavagne digitali del corso di logica per l'a.a. 2023/24. Il materiale è fornito senza nessuna garanzia: potrebbero esserci differenze anche sostanziali rispetto al programma del corso dell'a.a. 2024/25. Riteniamo comunque che possa essere del materiale utile per chi ha piacere a studiare in anticipo ciò che verrà presentato a lezione.
-
Si tratta di esercizi di logica svolti a lezione e risalenti ad alcuni anni addietro. Si faccia attenzione al fatto 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.
-
Le slide di questo corso sono state realizzate con LaTeX e distriubite con licenza CC-BY-SA-4.0.
-
Questo è un collegamento alla riunione su Microsoft Teams dove si svolgono le (rare) lezioni in formato blended (presenza + online aperto a tutti).
-