dimanche 26 avril 2015

Erste Schritte Schleifeninvariante

Ich habe folgende Aufgabe als Hausaufgabe aufbekommen und hatte ziemliche Probleme die Aufgabe zu lösen. ich hoffe hier kann mir jemand eine Art Musterlösung anbieten, mit der ich es mir dann selbst beibringen kann.
Vorallendingen habe ich Probleme mit der Schleifeninvariante und deren beweis über die vollständige Induktion.

Beweisen Sie die Korrektheit des folgenden Algorithmus! Gehen Sie dabei auf Wohldefiniertheit, Terminierung und korrektes Ergebnis ein.

Input: reelle Zahlen a(1), ....... , a(n) alle echt größer 0
Output: geometrisches Mittel der zahlenfolge a(1), ..... , a(n)

(1) s = 0;
(2) i = 1;
(3) while i <= n do
(4) s = s + ln(a(i)):
(5) i = i +1;
(6) s = s/n;
(7) return exp(s);

Vielen Dank schon mal im Vorraus


Erste Schritte Schleifeninvariante

0 commentaires:

Enregistrer un commentaire