[TPI] Udowodnić poprawność kodu

Matej91
Użytkownik
Użytkownik
Posty: 178
Rejestracja: 6 sty 2012, o 00:37
Płeć: Mężczyzna
Lokalizacja: Zielona Góra
Podziękował: 24 razy

[TPI] Udowodnić poprawność kodu

Post autor: Matej91 »

Udowodnić częściową poprawność poniższego fragmentu kodu:

Kod: Zaznacz cały

r:=e;
while r>0 do
...
r:=(21 *(r mod 17)) mod 34
...


Proszę o pomoc w rozwiązaniu tego zadania.
ODPOWIEDZ