Informatica CdL in Matematica Parte 5b Roberto Zunino
Dimostrazione del Teorema di Correttezza: Preliminari FUORI ESAME
Lemma di sostituzione FUORI ESAME
Lemma di sostituzione FUORI ESAME
Nota FUORI ESAME
Dimostrazione del Teorema di Correttezza: Variante 1 FUORI ESAME
Teorema di Correttezza FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Correttezza: Dimostrazione FUORI ESAME
Teorema di Correttezza FUORI ESAME
Gestire la PrePost FUORI ESAME
Gestire la PrePost FUORI ESAME
Dimostrazione del Teorema di Correttezza: Variante 2
Semantica Alternativa FUORI ESAME
Dimostrazione
Caso Skip
Caso Let FUORI ESAME
Caso Comp
Caso Prepost
Caso If
Caso If-True
Caso If-False
Caso While FUORI ESAME
Caso While: tentativo FUORI ESAME
Caso While FUORI ESAME
Caso While FUORI ESAME
Caso While: casi banali FUORI ESAME
Caso While-False FUORI ESAME
Caso While-True FUORI ESAME
Caso While-True FUORI ESAME
Caso While-True FUORI ESAME