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

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

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 11
-fontsize=120%
-menuItemsNumber=11
-showButtons=true
-hideMenu=false
-Slajd1|Poprawność systemu dowodzenia Hoare'a
-Slajd2|Dowód
-Slajd3|Dowód, c.d.
-Slajd4|Problem z pełnością
-Slajd5|Uogólnienie
-Slajd6|TINY<math>_A</math>
-Slajd7|TINY<math>_A</math>
-Slajd8|Ekspresywność
-Slajd9|Relatywna pełność logiki Hoare'a
-Slajd10|Rozszerzenia
-Slajd11|Ograniczenia
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_11_-_Slajd1|Poprawność systemu dowodzenia Hoare'a]]
+[[SW_wykład_11_-_Slajd2|Dowód]]
+[[SW_wykład_11_-_Slajd3|Dowód, c.d.]]
+[[SW_wykład_11_-_Slajd4|Problem z pełnością]]
+[[SW_wykład_11_-_Slajd5|Uogólnienie]]
+[[SW_wykład_11_-_Slajd6|TINY<math>_A</math>]]
+[[SW_wykład_11_-_Slajd7|TINY<math>_A</math>]]
+[[SW_wykład_11_-_Slajd8|Ekspresywność]]
+[[SW_wykład_11_-_Slajd9|Relatywna pełność logiki Hoare'a]]
+[[SW_wykład_11_-_Slajd10|Rozszerzenia]]
+[[SW_wykład_11_-_Slajd11|Ograniczenia]]