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|Kontynuacje
-Slajd2|Kontynuacje wyrażeń i deklaracji
-Slajd3|Tiny+++
-Slajd4|Dziedziny semantyczne
-Slajd5|Funkcje semantyczne
-Slajd6|Przykłady klauzul
-Slajd7|Przykłady klauzul, c.d.
-Slajd8|Instrukcje
-Slajd9|Bloki
-Slajd10|Skoki
-Slajd11|Semantyka skoków
-Slajd12|Semantyka skoków, c.d.
-Slajd13|Semantyka skoków, c.d.
-Slajd14|Semantyka skoków, c.d.
-Slajd15|Semantyka "standardowa"
-</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"]]