Beiträge

Beginner   Java allgemein   JDBC   JNI   Networking   Online-Ressourcen   Swing + AWT   XML   Meckerecke    Antworten     Neuer Beitrag     Gesamtdarstellung Detaildarstellung Einzeldarstellung Threaddarstellung

Beitrag 1825 von 2212 (83%)

Autor	ferkel
Datum	24.07.04, 13:24
Betreff	Java aufgabe

---

Moin moin,

ich habe ein Problem mit einer Programmieraufgabe.Habe sie unten hin gepostet.Schreibe am Dienstag eine Klausur und diese Aufgabe ist höchstwahrscheinlich mit dabei!wäre super nett von euch, wenn ihr mir heute so schnell wie möglich eine erklärung zu dieser Aufgabe schreiben könntet.Ich bedanke mich schon einmal im vorraus.

Mfg
Christian






6: Gegeben sei die folgende Java-Methode:
int f(int n) {
assert n >= 0; // Vorbedingung P
int s = 0,
i = 1;
assert ...; // Schleifeninvariante Q
while (i <= n) {
s = s + i*(i+1);
i = i + 1;
assert ...; // Schleifeninvariante Q
}
assert ...; // Nachbedingung R
return s;
}
a) Welchen Wert berechnet diese Methode? Formulieren Sie eine entsprechende
Nachbedingung R.
b) Beweisen Sie die partielle Korrektheit des Programms bezüglich P und R,
indem Sie eine geeignete Schleifeninvariante Q angeben.
c) Formulieren Sie Q und R als Java-Ausdrücke, sodass diese in den obigen
assert-Anweisungen verwendet werden können. Hinweis: Es gelten die Aussagen
Pn
i=1 i = n(n + 1)/2 und Pn
i=1 i2 = n(n + 1)(2n + 1)/6.




Diskussionsverlauf:

Java aufgabe     Re: Java aufgabe

Auf diesen Beitrag antworten   Neuen Beitrag verfassen