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?
|