SW wykład 1 - Slajd17: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
mNie podano opisu zmian |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| 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. | |||
Aktualna wersja na dzień 11:15, 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.
