Hi,
hab ein ziemlich großes Problem. Ich muß einen Algorithmus, bzw. einen Teil davon mittels Induktion beweisen. Mathematisch gesehen, kann ich eine Induktion, das find ich auch nicht so schwer…
Aber jetzt das ganze in meinen Algorithmus zu transportieren, ich weiß nicht, irgendwo fehlt mir da die Vorstellung; erbitte also ganz dringend Hilfe: mich interessiert nicht so sehr die Lösung, sondern viel mehr, wie ich die einzelnen Schritte erbringe.
So, und hier ist das gute Stück:
Beweise für den folgenden Algorithmus die Invariante I2 mittels Induktion.
Eingabe:
a € N0, b € N0 (also Element N Null)
Ausgabe:
c € N0: c = a * b
Hilfsvariablen:
i € N0, j € N0
Berechnung:
01 c ← 0
02 i ← 0
03 solange i