Szablon:Semantyka i weryfikacja programów/Wykład 2: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
mNie podano opisu zmian |
mNie podano opisu zmian |
||
| Linia 23: | Linia 23: | ||
[[SW_wykład_2_-_Slajd23|Własności, c.d.]] | [[SW_wykład_2_-_Slajd23|Własności, c.d.]] | ||
[[SW_wykład_2_-_Slajd24|Warianty definicji]] | [[SW_wykład_2_-_Slajd24|Warianty definicji]] | ||
<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> | ||
Wersja z 13:12, 29 wrz 2020
Składnia Składnia konkretna Składnia abstrakcyjna Przyjmowane założenia Przykład wiodący Kategorie składniowe Kategorie składniowe, c.d. Uwagi Indukcja strukturalna Definicje indukcyjne Kategorie semantyczne Wartościowanie zmiennych Semantyka wyrażeń Semantyka wyrażeń logicznych Semantyka instrukcji Prosty fakt Dowód Przezroczystość odwołań Semantyka operacyjna Obliczenia Semantyka operacyjna Tiny Własności Własności, c.d. Warianty definicji
