SW wykład 1 - Slajd17
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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ęć
Uwaga: niektóre punkty podane w powyższym planie zajęć przedstawione są w dwóch modułach.