Szablon:Semantyka i weryfikacja programów/Wykład 1

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

<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”