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
-fontsize=120%
-menuItemsNumber=17
-showButtons=true
-hideMenu=false
-Wstęp
-Literatura
-Programy
-Programy, sprzeczne oczekiwania
-Slajd5
-Slajd6
-Slajd7
-Slajd8
-Slajd9
-Slajd10
-Slajd11
-Slajd12
-Slajd13
-Slajd14
-Slajd15
-Slajd16
-Slajd17
-Contact
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_1_-_Wstęp|Wstęp]]
+[[SW_wykład_1_-_Literatura|Literatura]]
+[[SW_wykład_1_-_Programy|Programy]]
+[[SW_wykład_1_-_Programy,_sprzeczne_oczekiwania|Programy, sprzeczne oczekiwania]]
+[[SW_wykład_1_-_Wielki_Cel|WielkiCel]]
+[[SW_wykład_1_-_Slajd6|Składnia]]
+[[SW_wykład_1_-_Slajd7|Semantyka]]
+[[SW_wykład_1_-_Slajd8|Pragmatyka]]
+[[SW_wykład_1_-_Slajd9|Logika]]
+[[SW_wykład_1_-_Slajd10|Metodyka]]
+[[SW_wykład_1_-_Slajd11|Implementacja]]
+[[SW_wykład_1_-_Slajd12|Formalna semantyka]]
+[[SW_wykład_1_-_Slajd13|Przykład]]
+[[SW_wykład_1_-_Slajd14|Przykład, c.d.]]
+[[SW_wykład_1_-_Slajd15|Przykład, reguła dowodzenia]]
+[[SW_wykład_1_-_Slajd16|Uzasadnianie poprawności]]
+[[SW_wykład_1_-_Slajd17|Plan zajęć]]