OOPM 2015/16 - Das Hoare-Kalkül
Skript zur Vorlesung
Das Hoare-Kalkül: [.pdf]
Das Skript besteht dieses Mal aus relativ ausführlichen Folien, welche so auch in der Vorlesung zur Anwendung kommen.
Fragestellungen aus der Vorlesung
- Kann man zeigen, dass ein Programm die Nachbedingungen bei bestehenden Vorbedingungen einhält?
- Wie sind derartige Beweise strukturiert?
- Kann man Termination beweisen?
Empfehlungen zur Nachbereitung
- Studium der weiteren Beweise am Ende der Foliensammelung
page revision: 1, last edited: 15 Dec 2015 10:31