SW wykład 1 - Slajd17: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 2: | Linia 2: | ||
[[Grafika:sw0116.png|frame|center|]] | [[Grafika:sw0116.png|frame|center|]] | ||
Uwaga: niektóre punkty podane w powyższym planie zajęć przedstawione | |||
są w dwóch modułach. | |||
Wersja z 11:11, 17 sie 2006
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.
