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

Aktualna wersja na dzień 14:22, 29 wrz 2020

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 8
-fontsize=120%
-menuItemsNumber=9
-showButtons=true
-hideMenu=false
-Slajd1|Częściowe porządki zupełne
-Slajd2|Przykłady
-Slajd3|Funkcje ciągłe
-Slajd4|Intuicje
-Slajd5|Intuicje, c.d.
-Slajd6|Przestrzeń funkcji częściowych
-Slajd7|Twierdzenie o punkcie stałym
-Slajd8|Techniki dowodowe
-Slajd9|Semantyka while
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_8_-_Slajd1|Częściowe porządki zupełne]]
+[[SW_wykład_8_-_Slajd2|Przykłady]]
+[[SW_wykład_8_-_Slajd3|Funkcje ciągłe]]
+[[SW_wykład_8_-_Slajd4|Intuicje]]
+[[SW_wykład_8_-_Slajd5|Intuicje, c.d.]]
+[[SW_wykład_8_-_Slajd6|Przestrzeń funkcji częściowych]]
+[[SW_wykład_8_-_Slajd7|Twierdzenie o punkcie stałym]]
+[[SW_wykład_8_-_Slajd8|Techniki dowodowe]]
+[[SW_wykład_8_-_Slajd9|Semantyka while]]