Home
/
JavaForum
/
Java allgemein
Infos
|
Features
|
Gold-Edition
|
Kundenservice
java
Übersicht
Forum
-
Beginner
-
Java allgemein
-
JDBC
-
JNI
-
Networking
-
Online-Ressourcen
-
Swing + AWT
-
XML
-
Meckerecke
Mitglieder
LOGIN
User oder E-Mail
Passwort
·
Passwort vergessen
·
Kostenlos anmelden
Information
Demo
Features
Im Vergleich
Anmeldung
SUCHE
Beiträge, Foren oder Verfasser finden:
Kundenservice
Impressum
Datenschutz
AGB
Status
4.775 User online
0 User eingeloggt
Beiträge
Beginner
Java allgemein
JDBC
JNI
Networking
Online-Ressourcen
Swing + AWT
XML
Meckerecke
Antworten
Neuer Beitrag
Gesamtdarstellung
Detaildarstellung
Einzeldarstellung
Threaddarstellung
Beitrag 388 von 2212 (18%)
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
Impressum
·
Datenschutz
·
AGB
·
Infos
·
Presse
Ein modernes Forum:
teamturn.com