Modellierung WS 2010/11 - Folie 114

Ziele:
Prozess der Modellierung am Beispiel erkennen
in der Vorlesung:
Erläuterungen dazu (siehe auch vorige Folie):
- In jedem Kalkül: Namen und Wertebereich für die relevanten Dinge, Irrelevantes weglassen.
- Es gibt auch ernsthafte Aufgaben nach diesem Muster: Finden Zulässiger Folgen von Zustandsübergängen!
Verständnisfragen:
- Wie würden sie eine ähnliche Aufgabe modellieren, in der die beiden Tiere nicht hungrig sind aber das Boot nur begrenzte Tragfähigkeit hat?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010