OOPM 2016/17 - Beweis von Eigenschaften

Folien zur Vorlesung

[.pdf]

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