Semantyka i weryfikacja programów
Przykładowe zadania
DISCLAIMER: zadania są tu umieszczane w formie i postaci oryginalnej.
Zwracam uwagę, że notacja i wymagania dotyczące rozwiązań mogły się w
czasie zmieniać; udostepniając tutaj zadania (i niekiedy proponowane wówczas
rozwiązania nie ponoszę) odpowiedzialności za możliwe niedokładności
(czy wręcz błedy) w rozwiązaniach i za rozbieżnosci z obecnymi
kryteriami ocen podobnych zadań.
- semantyka operacyjna:
- semantyka denotacyjna:
- weryfikacja:
AT