SW wykład 1 - Slajd17

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

<<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ęć

Sw0116.png

Uwaga: niektóre punkty podane w powyższym planie zajęć przedstawione są w dwóch modułach.

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=SW_wykład_1_-_Slajd17&oldid=19475”