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

Aktualna wersja na dzień 14:20, 29 wrz 2020

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 7
-fontsize=120%
-menuItemsNumber=15
-showButtons=true
-Slajd1
-Slajd2
-Slajd3
-Slajd4
-Slajd5
-Slajd6
-Slajd7
-Slajd8
-Slajd9
-Slajd10
-Slajd11
-Slajd12
-Slajd13
-Slajd14
-Slajd15
-Contact
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_7_-_Slajd1|Kontynuacje]]
+[[SW_wykład_7_-_Slajd2|Kontynuacje wyrażeń i deklaracji]]
+[[SW_wykład_7_-_Slajd3|Tiny+++]]
+[[SW_wykład_7_-_Slajd4|Dziedziny semantyczne]]
+[[SW_wykład_7_-_Slajd5|Funkcje semantyczne]]
+[[SW_wykład_7_-_Slajd6|Przykłady klauzul]]
+[[SW_wykład_7_-_Slajd7|Przykłady klauzul, c.d.]
+[[SW_wykład_7_-_Slajd8|Instrukcje]]
+[[SW_wykład_7_-_Slajd9|Bloki]]
+[[SW_wykład_7_-_Slajd10|Skoki]]
+[[SW_wykład_7_-_Slajd11|Semantyka skoków]]
+[[SW_wykład_7_-_Slajd12|Semantyka skoków, c.d.]]
+[[SW_wykład_7_-_Slajd13|Semantyka skoków, c.d.]]
+[[SW_wykład_7_-_Slajd14|Semantyka skoków, c.d.]]
+[[SW_wykład_7_-_Slajd15|Semantyka "standardowa"]]