OOPM 2015/16 - Beweis von Eigenschaften
Skript zur Vorlesung
Beweis von Eigenschaften für Spezifikationen: [.pdf]
Das Skript besteht dieses Mal aus relativ ausführlichen Folien, welche so auch in der Vorlesung zur Anwendung kommen.
Fragestellungen aus der Vorlesung
- Wie kann man neue Gleichungen aus vorhandenen Gleichungen ableiten?
- Wie verallgemeinert man vollständige Induktion für beliebige Datentypen?
Empfehlungen zur Nachbereitung
- Siehe "Übungsaufgaben" im Skript
- Beweis weiterer Eigenschaften
page revision: 1, last edited: 03 Dec 2015 08:45