Modellierung WS 2010/11 - Folie 259b
Ziele:
Beweis konstruieren
in der Vorlesung:
Erläuterungen dazu
- Ausgehen von Voraussetzungen und Behauptung.
- Behauptung vereinfachen, zerlegen, transformieren.
- Definitionen zu gültigen Aussagen hinzunehmen.
- Weitere gültige Aussagen ableiten.
- Beweis ausformulieren.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010