SW wykład 1 - Slajd17

Z Studia Informatyczne
Wersja z dnia 11:15, 17 sie 2006 autorstwa Tarlecki (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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ęć

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”