Geschrieben von paco89 am 16.11.2011 um 23:00:
Hoare-Kalkül
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.
