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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
mNie podano opisu zmian
mNie podano opisu zmian
Linia 25: Linia 25:
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>


Wstęp
[[SW_wykład_1_-_Wstep|Wstęp]]
[[SW_wykład_1_-_Literatura|Literatura]]
[[SW_wykład_1_-_Literatura|Literatura]]
Programy
[[SW_wykład_1_-_Programy|Programy]]
Programy, sprzeczne oczekiwania
[[SW_wykład_1_-_Programy,_sprzeczne_oczekiwania|Programy,_sprzeczne_oczekiwania]]
Wielki Cel
[[SW_wykład_1_-_Wielki_Cel|Wielki_Cel]]
Slajd6|Składnia
[[SW_wykład_1_-_Slajd6|Składnia]]
Slajd7|Semantyka
[[SW_wykład_1_-_Slajd7|Semantyka]]
Slajd8|Pragmatyka
[[SW_wykład_1_-_Slajd8|Pragmatyka]]
Slajd9|Logika
[[SW_wykład_1_-_Slajd9|Logika]]
Slajd10|Metodyka
[[SW_wykład_1_-_Slajd10|Metodyka]]
Slajd11|Implementacja
[[SW_wykład_1_-_Slajd11|Implementacja]]
Slajd12|Formalna semantyka
[[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ęć]]

Wersja z 12:58, 29 wrz 2020

<slides> name=SW wykład 1 fontsize=120% menuItemsNumber=17 showButtons=true hideMenu=false Wstęp Literatura Programy Programy, sprzeczne oczekiwania Wielki Cel Slajd6

<<powrót do strony wykładu

Wstęp Literatura Programy Programy,_sprzeczne_oczekiwania Wielki_Cel Składnia Semantyka Pragmatyka Logika Metodyka Implementacja Formalna semantyka Przykład Przykład, c.d. Przykład, reguła dowodzenia Uzasadnianie poprawności Plan zajęć

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Szablon:Semantyka_i_weryfikacja_programów/Wykład_1&oldid=77949”