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

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

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 1
+<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
-fontsize=120%
-menuItemsNumber=17
+[[SW_wykład_1_-_Wstęp|Wstęp]]
-showButtons=true
+[[SW_wykład_1_-_Literatura|Literatura]]
-Slajd1
+[[SW_wykład_1_-_Programy|Programy]]
-Slajd2
+[[SW_wykład_1_-_Programy,_sprzeczne_oczekiwania|Programy, sprzeczne oczekiwania]]
-*Option: foo|foo (fuh)
+[[SW_wykład_1_-_Wielki_Cel|WielkiCel]]
-*Option: bar|bar
+[[SW_wykład_1_-_Slajd6|Składnia]]
-Slajd3
+[[SW_wykład_1_-_Slajd7|Semantyka]]
-Slajd4
+[[SW_wykład_1_-_Slajd8|Pragmatyka]]
-Slajd5
+[[SW_wykład_1_-_Slajd9|Logika]]
-Slajd6
+[[SW_wykład_1_-_Slajd10|Metodyka]]
-Slajd7
+[[SW_wykład_1_-_Slajd11|Implementacja]]
-Slajd8
+[[SW_wykład_1_-_Slajd12|Formalna semantyka]]
-Slajd9
+[[SW_wykład_1_-_Slajd13|Przykład]]
-Slajd10
+[[SW_wykład_1_-_Slajd14|Przykład, c.d.]]
-Slajd11
+[[SW_wykład_1_-_Slajd15|Przykład, reguła dowodzenia]]
-Slajd12
+[[SW_wykład_1_-_Slajd16|Uzasadnianie poprawności]]
-Slajd13
+[[SW_wykład_1_-_Slajd17|Plan zajęć]]
-Slajd14
-Slajd15
-Contact
-</slides>}}