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

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

Aktualna wersja na dzień 13:12, 29 wrz 2020

<<powrót do strony wykładu

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

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