Skip to main content
English (en)
English (en)
Italiano (it)
You are currently using guest access (
Log in
)
10/01/2020 - Primo Appello
Home
Courses
Corso di Laurea in Informatica (L-31)
LpP-B-19
10/01/2020 - Primo Appello
Section outline
◄
20/12/2019 - Seconda prova di verifica
►
30/01/2020 - Secondo Appello
Select activity Testo
Testo
File
Select activity Soluzioni
Soluzioni
File
Select activity Risultati
Risultati
File
◄
20/12/2019 - Seconda prova di verifica
Jump to...
Main course page
Appello Gennaio 2022
MODALITA' D'ESAME A DISTANZA
INFORMAZIONI GENERALI
18/09/2019: Introduzione al corso e al Calcolo Proposizionale
19/09/2019: Dimostrazione di Tautologie
25/09/2019: Dimostrazione di Tautologie e Sintassi del Calcolo Proposizionale
26/09/2019: Esercitazione su Calcolo Proposizionale
02/10/2018: Dimostrazioni di Implicazioni Tautologiche
03/10/2019: Dimostrazioni e Tautologie, Ipotesi non tautologiche
9/10/2019: Esercitazione su Calcolo Proposizionale
10/10/2019: Logica del Primo Ordine: Motivazioni e Sintassi.
16/10/2019: Logica del Primo Ordine: Formalizazione e Semantica Informale
17/10/2019: Logica del Primo Ordine: Semantica Formale.
23/10/2019: Esercitazione su Formalizzazione e Semantica del primo ordine
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, intervalli e domini
20/11/2019: Quantificatori funzionali
20/11/2019: Esercitazione su Dimostrazioni di (Non) Validità di Formule e Formalizzazione di Enunciati con array
28/11/2018: Logica di Hoare: Introduzione
27/11/2019: Triple di Hoare: Regole di inferenza per assegnamento, sequenza e comando condizionale.
04/12/2019: Esercitazione su Triple di Hoare
05/12/2019: Triple di Hoare: Regola per il Comando Iterativo
11/12/2019: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo
12/12/2019: Esercitazione su Triple di Hoare
20/12/2019 - Seconda prova di verifica
30/01/2020 - Secondo Appello
►
30/01/2020 - Secondo Appello