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

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

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 9
+<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
-fontsize=120%
-menuItemsNumber=17
+[[SW_wykład_9_-_Slajd1|Dziedziny podstawowe]]
-showButtons=true
+[[SW_wykład_9_-_Slajd2|Suma i produkt]]
-hideMenu=false
+[[SW_wykład_9_-_Slajd3|Suma spłaszczona i produkt spłaszczony]]
-Slajd1
+[[SW_wykład_9_-_Slajd4|Przestrzeń funkcji ciągłych]]
-Slajd2
+[[SW_wykład_9_-_Slajd5|Izomorfizm dziedzin]]
-Slajd3
+[[SW_wykład_9_-_Slajd6|Konstruowanie funkcji ciągłych]]
-Slajd4
+[[SW_wykład_9_-_Slajd7|Złożenie funkcji i indeksowanie]]
-Slajd5
+[[SW_wykład_9_-_Slajd8|Inne konstrukcje]]
-Slajd6
+[[SW_wykład_9_-_Slajd9|Operator punktu stałego]]
-Slajd7
+[[SW_wykład_9_-_Slajd10|Równania stałopunktowe]]
-Slajd8
+[[SW_wykład_9_-_Slajd11|Równania dziedzinowe]]
-Slajd9
+[[SW_wykład_9_-_Slajd12|Rekurencyjne równania dziedzinowe]]
-Slajd10
+[[SW_wykład_9_-_Slajd13|Rekurencyjne równania dziedzinowe]]
-Slajd11
+[[SW_wykład_9_-_Slajd14|Problemy]]
-Slajd12
+[[SW_wykład_9_-_Slajd15|Dziedziny refleksywne]]
-Slajd13
+[[SW_wykład_9_-_Slajd16|Rozwiązanie naiwne]]
-Slajd14
+[[SW_wykład_9_-_Slajd17|dziedziny Scotta]]
-Slajd15
-Slajd16
-Slajd17
-Contact
-</slides>}}
-<font size="-2">[[Semantyka i weryfikacja programów|<<powrót do strony wykładu]]</font>