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
-Wielki Cel
-Slajd6|Składnia
-Slajd7|Semantyka
-Slajd8|Pragmatyka
-Slajd9|Logika
-Slajd10|Metodyka
-Slajd11|Implementacja
-Slajd12|Formalna semantyka
-Slajd13|Przykład
-Slajd14|Przykład, c.d.
-Slajd15|Przykład, reguła dowodzenia
-Slajd16|Uzasadnianie poprawności
-Slajd17|Plan zajęć
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
-[[SW_wykład_1_-_Wstep|Wstęp]]
+[[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_-_Programy,_sprzeczne_oczekiwania|Programy, sprzeczne oczekiwania]]
-[[SW_wykład_1_-_Wielki_Cel|Wielki_Cel]]
+[[SW_wykład_1_-_Wielki_Cel|WielkiCel]]
 [[SW_wykład_1_-_Slajd6|Składnia]]
 [[SW_wykład_1_-_Slajd7|Semantyka]]