Hoare-Kalkül |
16.11.2011, 23:00 | Auf diesen Beitrag antworten » |
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. |
|
|
16.11.2011, 23:35 | Auf diesen Beitrag antworten » |
paco89 | RE: Hoare-Kalkül okay, ist schon gut. ich habe schon die schleifeninvariante gefunden. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|