blackwidow83

Hey beebof, besten Dank. Dass man das rückwärts am einfachsten macht, habe ich auch schon gelesen/gehört. Dieses Einsetzen wollte ich auch machen, aber ist das wirklich die Beweisführung? Wir haben in der Vorlesung so komplizierte Beweisbäume kennengelernt, die von unten nach oben wachsen und in denen ich diverse Beweisregeln so lange ausführen kann, bis die einzelnen Äste des Baumes "true" werden. Sind das nur evrschiedene Wege der Beweisführung? Gruß Basti

Hallo Ihr Lieben, ich muss ein Stück einfachen Programmcode durch das Hoare Kalkül beweisen und komm mit der ganzen Thematik absolut nicht klar. Auch nach dem Belesen auf mehreren Webseiten und diversen Vorlesungen, gehts irgendwie nicht weiter und ich brauch mal Eure Hilfe. Folgender Code soll mit Hoare auf Korrektheit überprüft werden: {k*j+k*i+k > 80} i := i + 1; j := j + i; k := k * i; {k > 80} Wie geht man an soetwas heran? Gruß