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

Aktualna wersja na dzień 13:16, 29 wrz 2020

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 3
-fontsize=120%
-menuItemsNumber=18
-showButtons=true
-Slajd1
-Slajd2
-Slajd3
-Slajd4
-Slajd5
-Slajd6
-Slajd7
-Slajd8
-Slajd9
-Slajd10
-Slajd11
-Slajd12
-Slajd13
-Slajd14
-Slajd15
-Slajd16
-Slajd17
-Slajd18
-Contact
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_3_-_Slajd1|Semantyka naturalna]]
+[[SW_wykład_3_-_Slajd2|Semantyka naturalna Tiny]]
+[[SW_wykład_3_-_Slajd3|Sens definicji]]
+[[SW_wykład_3_-_Slajd4|Sens definicji, c.d.]]
+[[SW_wykład_3_-_Slajd5|Dowody]]
+[[SW_wykład_3_-_Slajd6|Indukcja po strukturze]]
+[[SW_wykład_3_-_Slajd7|Własności]]
+[[SW_wykład_3_-_Slajd8|Równoważność semantyczna]]
+[[SW_wykład_3_-_Slajd9|Kongruencje]]
+[[SW_wykład_3_-_Slajd10|Semantyka operacyjna a naturalna]]
+[[SW_wykład_3_-_Slajd11|Semantyka operacyjna a naturalna, c.d.]]
+[[SW_wykład_3_-_Slajd12|Semantyka operacyjna a naturalna, c.d.]]
+[[SW_wykład_3_-_Slajd13|Semantyka "denotacyjna"]]
+[[SW_wykład_3_-_Slajd14|Semantyka operacyjna a naturalna, c.d.]]
+[[SW_wykład_3_-_Slajd15|Równoważność operacyjna]]
+[[SW_wykład_3_-_Slajd16|Niedeterminizm]]
+[[SW_wykład_3_-_Slajd17|Kilka równoważności]]
+[[SW_wykład_3_-_Slajd18|Równoległość]]