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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
Mengel (dyskusja | edycje)
1013 edycji
Nie podano opisu zmian
mNie podano opisu zmian
Linia 1: Linia 1:
{{Slajdy|txt=<slides>
[[SW_wykład_2_-_Slajd1|Składnia]]
name=SW wykład 2
[[SW_wykład_2_-_Slajd2|Składnia konkretna]]
fontsize=120%
[[SW_wykład_2_-_Slajd3|Składnia abstrakcyjna]]
menuItemsNumber=24
[[SW_wykład_2_-_Slajd4|Przyjmowane założenia]]
showButtons=true
[[SW_wykład_2_-_Slajd5|Przykład wiodący]]
Slajd1|Składnia
[[SW_wykład_2_-_Slajd6|Kategorie składniowe]]
Slajd2|Składnia konkretna
[[SW_wykład_2_-_Slajd7|Kategorie składniowe, c.d.]]
Slajd3|Składnia abstrakcyjna
[[SW_wykład_2_-_Slajd8|Uwagi]]
Slajd4|Przyjmowane założenia
[[SW_wykład_2_-_Slajd9|Indukcja strukturalna]]
Slajd5|Przykład wiodący
[[SW_wykład_2_-_Slajd10|Definicje indukcyjne]]
Slajd6|Kategorie składniowe
[[SW_wykład_2_-_Slajd11|Kategorie semantyczne]]
Slajd7|Kategorie składniowe, c.d.
[[SW_wykład_2_-_Slajd12|Wartościowanie zmiennych]]
Slajd8|Uwagi
[[SW_wykład_2_-_Slajd13|Semantyka wyrażeń]]
Slajd9|Indukcja strukturalna
[[SW_wykład_2_-_Slajd14|Semantyka wyrażeń logicznych]]
Slajd10|Definicje indukcyjne
[[SW_wykład_2_-_Slajd15|Semantyka instrukcji]]
Slajd11|Kategorie semantyczne
[[SW_wykład_2_-_Slajd16|Prosty fakt]]
Slajd12|Wartościowanie zmiennych
[[SW_wykład_2_-_Slajd17|Dowód]]
Slajd13|Semantyka wyrażeń
[[SW_wykład_2_-_Slajd18|Przezroczystość odwołań]]
Slajd14|Semantyka wyrażeń logicznych
[[SW_wykład_2_-_Slajd19|Semantyka operacyjna]]
Slajd15|Semantyka instrukcji
[[SW_wykład_2_-_Slajd20|Obliczenia]]
Slajd16|Prosty fakt
[[SW_wykład_2_-_Slajd21|Semantyka operacyjna Tiny]]
Slajd17|Dowód
[[SW_wykład_2_-_Slajd22|Własności]]
Slajd18|Przezroczystość odwołań
[[SW_wykład_2_-_Slajd23|Własności, c.d.]]
Slajd19|Semantyka operacyjna
[[SW_wykład_2_-_Slajd24|Warianty definicji]]
Slajd20|Obliczenia
Slajd21|Semantyka operacyjna Tiny
Slajd22|Własności
Slajd23|Własności, c.d.
Slajd24|Warianty definicji
</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>

Wersja z 13:09, 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 <<powrót do strony wykładu

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