Modellierung WS 2010/11 - Folie 262
Ziele:
Beweisstruktur verstehen
in der Vorlesung:
- Voraussetzungen und Behauptung des Satzes identifizieren.
- Negation der Behauptung als Annahme.
- Tatsache über Primzahlen als weitere Voraussetzung verwenden.
- Oder in der Voraussetzung führt zu Fallunterscheidung.
- Jeder Fall wird einzeln zum Widerspruch geführt.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 02.11.2010