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 |
||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 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 | Uwaga: niektóre punkty podane w powyższym planie zajęć przedstawione | ||
są w dwóch modułach. | 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.
