Szablon:Semantyka i weryfikacja programów/Wykład 12: Różnice pomiędzy wersjami

Wersja z 10:27, 24 paź 2006

@@ Linia 5: / Linia 5: @@
 showButtons=true
 hideMenu=false
-Slajd1
+Slajd1|Zadanie programistyczne
-Slajd2
+Slajd2|Przykład
-Slajd3
+Slajd3|Problemy z logiką Hoare'a
-Slajd4
+Slajd4|Poprawność całkowita
-Slajd5
+Slajd5|Poprawność całkowita, c.d.
-Slajd6
+Slajd6|Poprawność całkowita, c.d.
-Slajd7
+Slajd7|Reguła dla pętli
-Slajd8
+Slajd8|Poprawność systemu dowodzenia dla Tiny
-Slajd9
+Slajd9|Pełność systemu dowodzenia dla Tiny
-Slajd10
+Slajd10|Przykład
-Slajd11
+Slajd11|Uogólnienie
-Slajd12
+Slajd12|Poprawność i pełność
-Slajd13
+Slajd13|Relacje dobrze ufundowane
-Slajd14
+Slajd14|Dowodzenie poprawności całkowitej
-Slajd15
+Slajd15|Przykład
-Slajd16
+Slajd16|Przykład
-Slajd17
+Slajd17|Kolejny problem
-Slajd18
+Slajd18|Binarne warunki końcowe
-Slajd19
+Slajd19|Warunki poprawności
-Slajd20
+Slajd20|Reguły dowodzenia
-Slajd21
+Slajd21|Reguły dowodzenia, c.d.
-Slajd22
+Slajd22|Przykład
-Slajd23
+Slajd23|Logika algorytmiczna
-Slajd24
+Slajd24|System dowodzenia
-Contact
 </slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>