Seite 1 von 1

Übung 0 - Aufgabe 3

Verfasst: 14. Okt 2009 21:51
von Georg
Verstehe ich das "richtig", dass beim Umfüllen von einem Gefäß in ein anderes immer das eine Gefäß voll werden muss oder eines leer? Von der Logik her etwa so wie bei dem "Die Hard"-Eimerrätsel.

Re: Übung 0 - Aufgabe 3

Verfasst: 14. Okt 2009 22:17
von quanz
Ist das "Die Hard" - Rätsel nur mit 4 Gefäßen. Aber von der Logik her ist es exakt das Gleiche.

Re: Übung 0 - Aufgabe 3

Verfasst: 15. Okt 2009 09:12
von dietrich_p
Darf man eine Aktione definieren, die ein Quellgefäß in zwei Zielgefäße aufteilt, wobei zunächst das erste Gefäß gefüllt wird bis es voll ist und dann der Rest in das zweite Gefäß gefüllt wird, sofern dieses groß genug ist?

Re: Übung 0 - Aufgabe 3

Verfasst: 15. Okt 2009 09:48
von empe
dietrich_p hat geschrieben:Darf man eine Aktione definieren, die ein Quellgefäß in zwei Zielgefäße aufteilt, wobei zunächst das erste Gefäß gefüllt wird bis es voll ist und dann der Rest in das zweite Gefäß gefüllt wird, sofern dieses groß genug ist?
Das hört sich irgendwie kompliziert an, aber das alleine bedeutet ja noch nicht, dass man es nicht machen darf ;)
Wenn du das allerdings zum Modellieren des Umschüttens nehmen willst, frage ich mich: Wie behandelst du den Fall, dass das Gefäß, in das geschüttet wird, nicht leer ist? Also zb 5l-Gefäß mit 5l wird umgeschüttet in 3l-Gefäß mit 2l

Re: Übung 0 - Aufgabe 3

Verfasst: 15. Okt 2009 12:21
von Georg
man kann doch einfach zweimal umfüllen, das erste mal sonlange bis ein gefäss voll ist, das zweite mal solange bis eines leer ist, aber da die aufgabe wenn ich das richtig verstanden habe, nicht ist das Rätsel zu lösen, sondern nur es zu modellieren, sehe ich keinen sinn darin.

Re: Übung 0 - Aufgabe 3

Verfasst: 18. Okt 2009 12:10
von linn
Was ist bei 3.2 mit der "Gesamtsituation der
Gefäße" gemeint?

Und Bei Aufgabe 2, frag ich mich warum man überhaupt irgendwas von den Kästchen oder Pfeilen nicht formalisieren können sollte!?

Re: Übung 0 - Aufgabe 3

Verfasst: 18. Okt 2009 16:32
von DanielR
Verstehe ich das "richtig", dass beim Umfüllen von einem Gefäß in ein anderes immer das eine Gefäß voll werden muss oder eines leer?
Modellierbar sind auch andere Fälle. Genau wegen dieser nötigen Designentscheidungen ist die Modellierung ja nicht trivial. Die Frage, die man sich in jedem Designschritt stellen sollte lautet, ob die damit getroffene Annahme noch Angemessen für die zu lösende Fragestellung ist.
Die getroffene Annahme "Ein Gefäß muss beim Umschütten voll oder leer werden" ist eine der Annahmen, die für das gestellte Problem angemessen ist.
Darf man eine Aktione definieren, die ein Quellgefäß in zwei Zielgefäße aufteilt, wobei zunächst das erste Gefäß gefüllt wird bis es voll ist und dann der Rest in das zweite Gefäß gefüllt wird, sofern dieses groß genug ist?
So eine Aktion ist denkbar und modellierbar. Es wurden allerdings schon Einwände genannt, welche die Formalisierung dieser Aktion stark verkomplizieren. Da es sich bei dieser Aktion nur um ein zweifaches Umschütten handelt, ist jedes Modell, dass "nur" Umschütten (und nicht auch das "zweifache Umschütten") definiert, äquivalent mächtig. Die genannte Aktion zu modellieren ist deswegen also auch unnötig.
Was ist bei 3.2 mit der "Gesamtsituation der
Gefäße" gemeint?
Eine Gesamtsituation eines Systems ist die vollständige Beschreibung des aktuellen Systemzustands. Die Frage zielt also darauf ab, die nötigen Parameter zur Zustandsbeschreibung zu identifizieren.
Und Bei Aufgabe 2, frag ich mich warum man überhaupt irgendwas von den Kästchen oder Pfeilen nicht formalisieren können sollte!?
Die Frage ist nicht, was formalisierbar ist, sondern was formell vorliegen kann. Mehr kann ich dazu erstmal nicht sagen, ohne die Lösung zu verraten.