paco89
Mitglied
Dabei seit: 19.10.2011
Beiträge: 43
|
|
hi, ich habe folgende aufgabe. und zwar geht es ums Hoare-Kalkül.
mir fällt es schwer die schleifeninvariante zu finden. hier ist der Code:
<n >= 0>
i =0;
res = 0;
while (i>=n) {
res = res + (n-i)
i = i + 1;
}
<res = ((n+1)*5)/2>
wenn wir da jmd. helfen könnte, die schleifeninvariante zu finden, wäre ich sehr froh.
|
|