fmidue / logic-tasks

0 stars 1 forks source link

Formulierung (ggfs. auch Umsetzung) bei `ComposeFormula` #207

Open jvoigtlaender opened 3 weeks ago

jvoigtlaender commented 3 weeks ago

In der aktuellen Aufgabenbeschreibung wird das "entstehenden" in "Bilden Sie für die beiden entstehenden Bäume die repräsentierenden Formeln." von Studierenden offenbar gern überlesen. Also es werden dann die beiden ursprünglich gegebenen kleineren Bäume eingegeben statt der entstehenden Bäume nach Einhängen unter den verlangten neuen Wurzelknoten.

Vielleicht kann dem durch geeignete Umformulierung oder Hervorhebung begegnet werden.

Ein anderer Ansatz wäre, für solche Fälle zumindest immer eine sofortige syntaktische Zurückweisung zu provozieren. Es gibt bereits einen Syntaxfehler, wenn der verlangte Operator für den neuen Wurzelknoten in einer der beiden abgegebenen Formeln nicht vorkommt. Es könnte dafür gesorgt werden (bei der Instanzgenerierung), dass der verlangte Operator nie schon in beiden Teilbäumen vorliegt. Dann würden Studierende immer darauf hingewiesen, wenn sie die Aufgabe in obiger Weise fehlinterpretieren.