dane: liczba naturalna n
wynik: 1+2+3....+n
Begin
s:=0
i:=0
while i<n do
{i:=i+1
s:=s+i} end
niezmiennik {p: S=s+i; g: i<n}
sprawdzamy prawdziwość p oraz q przed rozpoczęciem petli/ przyjmujemy przykładowo n=5
parametry początkowe s=0, i=0, n=5
p:S=s+i 0+0=0 prawdziwe
g: i<n prawdziwe
następnie sprawdziamy p oraz q po pierwszym kroku w petli
p: S=s+i=0+(i+1)=1 - prawdziwe
g: i<n to 1<5 prawdziwe
na koniec sprawdziamy p oraz q po przejściu odpowiedniej ilość petli do warunku gdzie i=n
s=0 i=0
...
.
..
..
.
..
.
.
.
i=n
po zaknoczeniu petli zdanie p powinno być prawdziwe a g fałszywe
zatem
p: s=s+i=10+5=15 prawdziwe
g 5<5- fałszywe
znaleźliśmy niezmiennik który potwierdza działanie algorytmu
tak to zrobiłem ale ponoc jest blad w algorytmie który podal nam profesor, moglby ktoś powiedzieć czy dobrze zrobiłem i/lub wskazać blad który popelnil profesor oraz dokonać korekty?