General
Appello Gennaio 2022
MODALITA' D'ESAME A DISTANZA
INFORMAZIONI GENERALI
18/09/2019: Introduzione al corso e al Calcolo Pro...
19/09/2019: Dimostrazione di Tautologie
25/09/2019: Dimostrazione di Tautologie e Sintassi...
26/09/2019: Esercitazione su Calcolo Proposizionale
02/10/2018: Dimostrazioni di Implicazioni Tautolog...
03/10/2019: Dimostrazioni e Tautologie, Ipotesi no...
9/10/2019: Esercitazione su Calcolo Proposizionale
10/10/2019: Logica del Primo Ordine: Motivazioni e...
16/10/2019: Logica del Primo Ordine: Formalizazion...
17/10/2019: Logica del Primo Ordine: Semantica For...
23/10/2019: Esercitazione su Formalizzazione e Sem...
24/10/2019: Logica del Primo Ordine: Proof System
30/10/2019: Logica del Primo Ordine: Proof System (2)
31/10/2019: Simulazione Prima Prova di Verifica
07/11/2019 - Prima prova di verifica
13/11/2019: Logica del Primo Ordine: Proof System (3)
14/11/2019: Notazione e leggi per insiemi, interva...
20/11/2019: Quantificatori funzionali
20/11/2019: Esercitazione su Dimostrazioni di (Non...
28/11/2018: Logica di Hoare: Introduzione
27/11/2019: Triple di Hoare: Regole di inferenza p...
04/12/2019: Esercitazione su Triple di Hoare
05/12/2019: Triple di Hoare: Regola per il Comando...
11/12/2019: Triple di Hoare: Sequenze (Array) e Ag...
12/12/2019: Esercitazione su Triple di Hoare
20/12/2019 - Seconda prova di verifica
10/01/2020 - Primo Appello
30/01/2020 - Secondo Appello