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

Aktualna wersja na dzień 15:42, 29 wrz 2020

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 13
-fontsize=120%
-menuItemsNumber=18
-showButtons=true
-hideMenu=false
-Slajd1
-Slajd2
-Slajd3
-Slajd4
-Slajd5
-Slajd6
-Slajd7
-Slajd8
-Slajd9
-Slajd10
-Slajd11
-Slajd12
-Slajd13
-Slajd14
-Slajd15
-Slajd16
-Slajd17
-Slajd18
-Contact
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_13_-_Slajd1|Zadanie programistyczne]]
+[[SW_wykład_13_-_Slajd2|Pierwsze podejście]]
+[[SW_wykład_13_-_Slajd3|Przykład]]
+[[SW_wykład_13_-_Slajd4|Weryfikacja]]
+[[SW_wykład_13_-_Slajd5|Przykład]]
+[[SW_wykład_13_-_Slajd6|Możliwe przyczyny porażki]]
+[[SW_wykład_13_-_Slajd7|Poprawiony program]]
+[[SW_wykład_13_-_Slajd8|Przykład dowodu]]
+[[SW_wykład_13_-_Slajd9|Drugie podejście]]
+[[SW_wykład_13_-_Slajd10|Wyprowadzanie programu]]
+[[SW_wykład_13_-_Slajd11|Wyprowadzanie programu, c.d.]]
+[[SW_wykład_13_-_Slajd12|Wyprowadzanie programu, c.d.]]
+[[SW_wykład_13_-_Slajd13|Wyprowadzanie programu, c.d.]]
+[[SW_wykład_13_-_Slajd14|Wyprowadzanie programu, c.d.]]
+[[SW_wykład_13_-_Slajd15|Wyprowadzanie programu, c.d.]]
+[[SW_wykład_13_-_Slajd16|Własność stopu]]
+[[SW_wykład_13_-_Slajd17|Własność stopu, c.d.]]
+[[SW_wykład_13_-_Slajd18|Poprawność przez konstrukcję]]