Skip to main content
English (en)
English (en)
Italiano (it)
You are currently using guest access (
Log in
)
12/12/2018: Triple di Hoare: Sequenze (Array) e Aggiornamento Selettivo
Home
Courses
Corso di Laurea in Informatica (L-31)
LpP-B-18
12/12/2018: Triple di Hoare: Sequenze (Array) e Ag...
Section outline
◄
06/12/2018: Triple di Hoare: Regola per il Comando Iterativo
►
13/12/2918: Esercitazione su Triple di Hoare
Sequenze: sintassi e semantica
Assioma e regola per aggiornamento selettivo
Esercizi su verifica di triple di Hoare
Dispense: [LdH], fino a pag 30.
Select activity Slides
Slides
File
◄
06/12/2018: Triple di Hoare: Regola per il Comando Iterativo
Jump to...
Main course page
INFORMAZIONI GENERALI
19/09/2018: Introduzione al corso e al Calcolo Proposizionale
20/09/2018: Dimostrazione di Tautologie
26/09/2018: Dimostrazione di Tautologie e Sintassi del Calcolo Proposizionale
27/09/2018: Esercitazione su Calcolo Proposizionale
03/10/2018: Dimostrazioni di Implicazioni Tautologiche
04/10/2018: Dimostrazioni e Tautologie, Ipotesi non tautologiche
10/10/2018: Esercitazione su Calcolo Proposizionale
11/10/2018: Logica del Primo Ordine: Motivazioni e Sintassi.
17/10/2018: Logica del Primo Ordine: Formalizazione e Semantica Informale
18/10/2018: Logica del Primo Ordine: Semantica Formale.
24/10/2018: Esercitazione su Formalizzazione e Semantica del primo ordine
25/10/2018: Logica del Primo Ordine: Proof System
02/11/2018 - Prima prova di verifica
7/11/2018: Logica del Primo Ordine: Proof System (2)
8/11/2018: Logica del Primo Ordine: Proof System (3)
14/11/2018: Esercitazione su Dimostrazioni di Validità e di Non Validità di Formule
15/11/2018: Notazione e leggi per insiemi, intervalli e domini
21/11/2018: Quantificatori funzionali
22/11/2018: Esercitazione su Formalizzazione di Enunciati con Sequenze
28/11/2018: Logica di Hoare: Introduzione
29/11/2018: Triple di Hoare: Regole di inferenza per assegnamento, sequenza e comando condizionale.
05/12/2018: Esercitazione su Triple di Hoare
06/12/2018: Triple di Hoare: Regola per il Comando Iterativo
13/12/2918: Esercitazione su Triple di Hoare
20/12/2018 - Seconda prova di verifica
23/01/2019 - Primo Appello
11/02/2019 - Secondo Appello
22/06/2019 - Terzo Apello
09/07/2019 - Quarto Appello
O6/09/2019 - Quinto Appello
►
13/12/2918: Esercitazione su Triple di Hoare