Hoare Kalkül

[julia1997]

Hallo!

Kennt sich jemand damit aus und kann mir sagen ob meine Lösung stimmt?

 

[Flown]

Also wie haltet ihr das mit der Ausführung müsst ihr die strongest postcondition oder weakest precondition berechnen? Wie haltet ihr das mit der Korrektheit, partiell oder total (wichtig, ob die "Theorie"-Frage richtig ist).

Deine "Lösungs"-Tabelle sieht auf jedenfall merkwürdig aus, aber wenn ihr das so handhabt.