Informatica CdL in Matematica Parte 5b Roberto Zunino

Presentazione sul tema: "Informatica CdL in Matematica Parte 5b Roberto Zunino"— Transcript della presentazione:

1 Informatica CdL in Matematica Parte 5b Roberto Zunino

2 Dimostrazione del Teorema di Correttezza: Preliminari
FUORI ESAME

3 Lemma di sostituzione FUORI ESAME

4 Lemma di sostituzione FUORI ESAME

5 Nota FUORI ESAME

6 Dimostrazione del Teorema di Correttezza: Variante 1
FUORI ESAME

7 Teorema di Correttezza
FUORI ESAME

8 Correttezza: Dimostrazione
FUORI ESAME

9 Correttezza: Dimostrazione
FUORI ESAME

10 Correttezza: Dimostrazione
FUORI ESAME

11 Correttezza: Dimostrazione
FUORI ESAME

12 Correttezza: Dimostrazione
FUORI ESAME

13 Correttezza: Dimostrazione
FUORI ESAME

14 Correttezza: Dimostrazione
FUORI ESAME

15 Correttezza: Dimostrazione
FUORI ESAME

16 Correttezza: Dimostrazione
FUORI ESAME

17 Teorema di Correttezza
FUORI ESAME

18 Gestire la PrePost FUORI ESAME

19 Gestire la PrePost FUORI ESAME

20 Dimostrazione del Teorema di Correttezza: Variante 2

21 Semantica Alternativa
FUORI ESAME

22 Dimostrazione

23 Caso Skip

24 Caso Let FUORI ESAME

25 Caso Comp

26 Caso Prepost

27 Caso If

28 Caso If-True

29 Caso If-False

30 Caso While FUORI ESAME

31 Caso While: tentativo FUORI ESAME

32 Caso While FUORI ESAME

33 Caso While FUORI ESAME

34 Caso While: casi banali
FUORI ESAME

35 Caso While-False FUORI ESAME

36 Caso While-True FUORI ESAME

37 Caso While-True FUORI ESAME

38 Caso While-True FUORI ESAME