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

Wersja z 14:07, 29 wrz 2020

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