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 2 wersji utworzonych przez 2 użytkowników) | |||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 1}} | |||
[[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.
