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