Also das ist das letzte Thema wo es noch hackt, bzgl. Klausur xD Wir sollen Korrektheitsbeweise für "Algorithmen" führen können.
Diese bestehen ja aus Wohldefiniertheit, Termination, Korrektes Ergebnis nach Termination. Die Wohldefiniertheit und die Termination habe ich verstanden, jedoch verwirrt mich der letzte Punkt. Ich verstehe absolut nicht wie ich an diese Teilaufgabe herangehe...xD Was ist eine Invariante überhaupt, sprich welche merkmale hat eine Invariante.
Das einzige was ich dazu im Skript gefunden habe sind drei "Schritte":
- Die Invariante muss vor dem ersten Durchlauf gelten
- Wenn die Invariante vor dem ersten Durchlauf gilt, so gilt sie auch danach
- Die Invariante muss nach terminierung das korrekte Ergebnis liefern
Vielleicht weiß ja einer von euch wie das funktioniert xD
Hier mal eine Übungsaufgabe an der ich sitze:
Diese bestehen ja aus Wohldefiniertheit, Termination, Korrektes Ergebnis nach Termination. Die Wohldefiniertheit und die Termination habe ich verstanden, jedoch verwirrt mich der letzte Punkt. Ich verstehe absolut nicht wie ich an diese Teilaufgabe herangehe...xD Was ist eine Invariante überhaupt, sprich welche merkmale hat eine Invariante.
Das einzige was ich dazu im Skript gefunden habe sind drei "Schritte":
- Die Invariante muss vor dem ersten Durchlauf gelten
- Wenn die Invariante vor dem ersten Durchlauf gilt, so gilt sie auch danach
- Die Invariante muss nach terminierung das korrekte Ergebnis liefern
Vielleicht weiß ja einer von euch wie das funktioniert xD
Hier mal eine Übungsaufgabe an der ich sitze: