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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
mNie podano opisu zmian
mNie podano opisu zmian
 
(Nie pokazano 2 pośrednich wersji utworzonych przez tego samego użytkownika)
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>
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>


Wstęp
[[SW_wykład_1_-_Wstęp|Wstęp]]
[[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|WielkiCel]]
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ęć]]

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

<<powrót do strony wykładu

Wstęp Literatura Programy Programy, sprzeczne oczekiwania WielkiCel 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=77950”