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

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

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 4
+<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
-fontsize=120%
-menuItemsNumber=19
+[[SW_wykład_4_-_Slajd1|Semantyka denotacyjna]]
-showButtons=true
+[[SW_wykład_4_-_Slajd2|Dziedziny składniowe i semantyczne]]
-Slajd1
+[[SW_wykład_4_-_Slajd3|Funkcje semantyczne]]
-Slajd2
+[[SW_wykład_4_-_Slajd4|Kompozycjonalność]]
-Slajd3
+[[SW_wykład_4_-_Slajd5|Tiny. Semantyka denotacyjna]]
-Slajd4
+[[SW_wykład_4_-_Slajd6|Tiny. Semantyka denotacyjna, c.d.]]
-Slajd5
+[[SW_wykład_4_-_Slajd7|Pojęcia pomocnicze]]
-Slajd6
+[[SW_wykład_4_-_Slajd8|Pojęcia pomocnicze, c.d.]]
-Slajd7
+[[SW_wykład_4_-_Slajd9||Tiny. Semantyka denotacyjna, c.d.]]
-Slajd8
+[[SW_wykład_4_-_Slajd10|Tiny. Semantyka denotacyjna, c.d.]]
-Slajd9
+[[SW_wykład_4_-_Slajd11|Problem z while]]
-Slajd10
+[[SW_wykład_4_-_Slajd12|Konstrukcje stałopunktowe]]
-Slajd11
+[[SW_wykład_4_-_Slajd13|Konstrukcje stałopunktowe, c.d.]]
-Slajd12
+[[SW_wykład_4_-_Slajd14|Konstrukcje stałopunktowe, c.d.]]
-Slajd13
+[[SW_wykład_4_-_Slajd15|Przykład]]
-Slajd14
+[[SW_wykład_4_-_Slajd16|Przykład, c.d.]]
-Slajd15
+[[SW_wykład_4_-_Slajd17|Dowód]]
-Slajd16
+[[SW_wykład_4_-_Slajd18|Dowód]]
-Slajd17
+[[SW_wykład_4_-_Slajd19|Zgodność semantyki denotacyjnej]]
-Slajd18
-Slajd19
-Contact
-</slides>}}