Stimmt, daran hab ich nicht gedacht. D.h. ich änder das auf:
2) Annahme: I(a[j]) = (min_array(a[0, ..., j])) hat den Wert kleinsten Wert
3) Induktion: I(a[j + 1]) = (Prüft, welcher Wert kleiner ist, a[j + 1] oder min_array(a[0, ..., j]) => min_array(a[0, ..., j + 1])
Es ist doch kein Fehler, wenn ich noch dahinter schreibe, dass man prüft, ob j < n ist, quasi I(...) = (min_...) und j < n.
Ich denk mal dass ich dann beim Algorithmus nach der zweiten Zeile ein j <- 0 reinschieben muss...
Ein doch etwas schwierigeres Thema ...