Szablon:Semantyka i weryfikacja programów/Wykład 9: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 5: | Linia 5: | ||
showButtons=true | showButtons=true | ||
hideMenu=false | hideMenu=false | ||
Slajd1 | Slajd1|Dziedziny podstawowe | ||
Slajd2 | Slajd2|Suma i produkt | ||
Slajd3 | Slajd3|Suma spłaszczona i produkt spłaszczony | ||
Slajd4 | Slajd4|Przestrzeń funkcji ciągłych | ||
Slajd5 | Slajd5|Izomorfizm dziedzin | ||
Slajd6 | Slajd6|Konstruowanie funkcji ciągłych | ||
Slajd7 | Slajd7|Złożenie funkcji i indeksowanie | ||
Slajd8 | Slajd8|Inne konstrukcje | ||
Slajd9 | Slajd9|Operator punktu stałego | ||
Slajd10 | Slajd10|Równania stałopunktowe | ||
Slajd11 | Slajd11|Równania dziedzinowe | ||
Slajd12 | Slajd12|Rekurencyjne równania dziedzinowe | ||
Slajd13 | Slajd13|Rekurencyjne równania dziedzinowe | ||
Slajd14 | Slajd14|Problemy | ||
Slajd15 | Slajd15|Dziedziny refleksywne | ||
Slajd16 | Slajd16|Rozwiązanie naiwne | ||
Slajd17 | Slajd17|dziedziny Scotta | ||
</slides>}} | </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> | ||
