OOPM 2016/17 - Beweis von Eigenschaften
Folien zur Vorlesung
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
- Vorsicht - schwierig: Repräsentiere Terme, Gleichungen und Ersetzung in Java
page revision: 1, last edited: 08 Dec 2016 09:19