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

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

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 5
+<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
-fontsize=120%
-menuItemsNumber=17
+[[SW_wykład_5_-_Slajd1|Bloki i deklaracje]]
-showButtons=true
+[[SW_wykład_5_-_Slajd2|Lokacje]]
-Slajd1
+[[SW_wykład_5_-_Slajd3|Funkcje semantyczne]]
-Slajd2
+[[SW_wykład_5_-_Slajd4|Konwencje notacyjne]]
-Slajd3
+[[SW_wykład_5_-_Slajd5|Instrukcje]]
-Slajd4
+[[SW_wykład_5_-_Slajd6|Klauzule semantyczne]]
-Slajd5
+[[SW_wykład_5_-_Slajd7|Klauzule semantyczne, c.d.]]
-Slajd6
+[[SW_wykład_5_-_Slajd8|Deklaracje]]
-Slajd7
+[[SW_wykład_5_-_Slajd9|Deklaracje, c.d.]]
-Slajd8
+[[SW_wykład_5_-_Slajd10|Semantyka bloków]]
-Slajd9
+[[SW_wykład_5_-_Slajd11|Procedury]]
-Slajd10
+[[SW_wykład_5_-_Slajd12|Wiązania zmiennych]]
-Slajd11
+[[SW_wykład_5_-_Slajd13|Semantyka Tiny++]]
-Slajd12
+[[SW_wykład_5_-_Slajd14|Semantyka Tiny++]]
-Slajd13
+[[SW_wykład_5_-_Slajd15|Rekurencja]]
-Slajd14
+[[SW_wykład_5_-_Slajd16|Semantyka procedur rek.]]
-Slajd15
+[[SW_wykład_5_-_Slajd17|Semantyka procedur rek.]]
-Slajd16
-Slajd17
-Contact
-</slides>}}