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
-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.]]