Die letzten 2 Beiträge |
paco89 |
RE: Hoare-Kalkül
okay, ist schon gut. ich habe schon die schleifeninvariante gefunden. |
paco89 |
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.
|
|
|