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 |
Nie podano opisu zmian |
||
| Linia 4: | Linia 4: | ||
menuItemsNumber=18 | menuItemsNumber=18 | ||
showButtons=true | showButtons=true | ||
Slajd1 | Slajd1|Semantyka naturalna | ||
Slajd2 | Slajd2|Semantyka naturalna Tiny | ||
Slajd3 | Slajd3|Sens definicji | ||
Slajd4 | Slajd4|Sens definicji, c.d. | ||
Slajd5 | Slajd5|Dowody | ||
Slajd6 | Slajd6|Indukcja po strukturze | ||
Slajd7 | Slajd7|Własności | ||
Slajd8 | Slajd8|Równoważność semantyczna | ||
Slajd9 | Slajd9|Kongruencje | ||
Slajd10 | Slajd10|Semantyka operacyjna a naturalna | ||
Slajd11 | Slajd11|Semantyka operacyjna a naturalna, c.d. | ||
Slajd12 | Slajd12|Semantyka operacyjna a naturalna, c.d. | ||
Slajd13 | Slajd13|Semantyka "denotacyjna" | ||
Slajd14 | Slajd14|Semantyka operacyjna a naturalna, c.d. | ||
Slajd15 | Slajd15|Równoważność operacyjna | ||
Slajd16 | Slajd16|Niedeterminizm | ||
Slajd17 | Slajd17|Kilka równoważności | ||
Slajd18 | Slajd18|Równoległość | ||
</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> | ||
