Szablon:Semantyka i weryfikacja programów/Wykład 3: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
mNie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
<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_3_-_Slajd1|Semantyka naturalna]] | |||
[[SW_wykład_3_-_Slajd2|Semantyka naturalna Tiny]] | |||
[[SW_wykład_3_-_Slajd3|Sens definicji]] | |||
[[SW_wykład_3_-_Slajd4|Sens definicji, c.d.]] | |||
[[SW_wykład_3_-_Slajd5|Dowody]] | |||
[[SW_wykład_3_-_Slajd6|Indukcja po strukturze]] | |||
[[SW_wykład_3_-_Slajd7|Własności]] | |||
[[SW_wykład_3_-_Slajd8|Równoważność semantyczna]] | |||
[[SW_wykład_3_-_Slajd9|Kongruencje]] | |||
[[SW_wykład_3_-_Slajd10|Semantyka operacyjna a naturalna]] | |||
[[SW_wykład_3_-_Slajd11|Semantyka operacyjna a naturalna, c.d.]] | |||
[[SW_wykład_3_-_Slajd12|Semantyka operacyjna a naturalna, c.d.]] | |||
[[SW_wykład_3_-_Slajd13|Semantyka "denotacyjna"]] | |||
[[SW_wykład_3_-_Slajd14|Semantyka operacyjna a naturalna, c.d.]] | |||
[[SW_wykład_3_-_Slajd15|Równoważność operacyjna]] | |||
[[SW_wykład_3_-_Slajd16|Niedeterminizm]] | |||
[[SW_wykład_3_-_Slajd17|Kilka równoważności]] | |||
[[SW_wykład_3_-_Slajd18|Równoległość]] | |||
Aktualna wersja na dzień 13:16, 29 wrz 2020
Semantyka naturalna Semantyka naturalna Tiny Sens definicji Sens definicji, c.d. Dowody Indukcja po strukturze Własności Równoważność semantyczna Kongruencje Semantyka operacyjna a naturalna Semantyka operacyjna a naturalna, c.d. Semantyka operacyjna a naturalna, c.d. Semantyka "denotacyjna" Semantyka operacyjna a naturalna, c.d. Równoważność operacyjna Niedeterminizm Kilka równoważności Równoległość
