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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
Mengel (dyskusja | edycje)
1013 edycji
Nie podano opisu zmian
mNie podano opisu zmian
 
Linia 1: Linia 1:
{{Slajdy|txt=<slides>
 
name=SW wykład 9
fontsize=120%
menuItemsNumber=17
showButtons=true
hideMenu=false
Slajd1|Dziedziny podstawowe
Slajd2|Suma i produkt
Slajd3|Suma spłaszczona i produkt spłaszczony
Slajd4|Przestrzeń funkcji ciągłych
Slajd5|Izomorfizm dziedzin
Slajd6|Konstruowanie funkcji ciągłych
Slajd7|Złożenie funkcji i indeksowanie
Slajd8|Inne konstrukcje
Slajd9|Operator punktu stałego
Slajd10|Równania stałopunktowe
Slajd11|Równania dziedzinowe
Slajd12|Rekurencyjne równania dziedzinowe
Slajd13|Rekurencyjne równania dziedzinowe
Slajd14|Problemy
Slajd15|Dziedziny refleksywne
Slajd16|Rozwiązanie naiwne
Slajd17|dziedziny Scotta
</slides>}}
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
<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]]

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

<<powrót do strony wykładu

Dziedziny podstawowe Suma i produkt Suma spłaszczona i produkt spłaszczony Przestrzeń funkcji ciągłych Izomorfizm dziedzin Konstruowanie funkcji ciągłych Złożenie funkcji i indeksowanie Inne konstrukcje Operator punktu stałego Równania stałopunktowe Równania dziedzinowe Rekurencyjne równania dziedzinowe Rekurencyjne równania dziedzinowe Problemy Dziedziny refleksywne Rozwiązanie naiwne dziedziny Scotta

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Szablon:Semantyka_i_weryfikacja_programów/Wykład_9&oldid=77961”