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 26: Linia 26:


Wstęp
Wstęp
[[Literatura]]
[[SW_wykład_1_-_Literatura|Literatura]]
Programy
Programy
Programy, sprzeczne oczekiwania
Programy, sprzeczne oczekiwania

Wersja z 12:51, 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 Slajd6|Składnia Slajd7|Semantyka Slajd8|Pragmatyka Slajd9|Logika Slajd10|Metodyka Slajd11|Implementacja Slajd12|Formalna semantyka

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