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

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

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 10
-fontsize=120%
-menuItemsNumber=15
-showButtons=true
-hideMenu=false
-Slajd1
-Slajd2
-Slajd3
-Slajd4
-Slajd5
-Slajd6
-Slajd7
-Slajd8
-Slajd9
-Slajd10
-Slajd11
-Slajd12
-Slajd13
-Slajd14
-Slajd15
-Contact
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_10_-_Slajd1|Poprawność programów i weryfikacja]]
+[[SW_wykład_10_-_Slajd2|Poprawność programów ]]
+[[SW_wykład_10_-_Slajd3|Dowodzenie poprawności]]
+[[SW_wykład_10_-_Slajd4|Wyspecyfikowany program]]
+[[SW_wykład_10_-_Slajd5|Logika Hoare'a]]
+[[SW_wykład_10_-_Slajd6|Definicje formalne]]
+[[SW_wykład_10_-_Slajd7|Definicje formalne, c.d.]]
+[[SW_wykład_10_-_Slajd8|Semantyka logiki Hoare'a]]
+[[SW_wykład_10_-_Slajd9|Reguły wnioskowania]]
+[[SW_wykład_10_-_Slajd10|Przykład dowodu]]
+[[SW_wykład_10_-_Slajd11|Przykład dowodu, c.d.]]
+[[SW_wykład_10_-_Slajd12|Niezmiennik pętli]]
+[[SW_wykład_10_-_Slajd13|Przykład dowodu, c.d.]]
+[[SW_wykład_10_-_Slajd14|W pełni wyspecyfikowany program]]
+[[SW_wykład_10_-_Slajd15|Teorie pierwszego rzędu]]