put formula legend into collapsed

[jvoigtlaender]

In ComposeFormula:

while in TreeToFormula that already happens in a

logic-tasks/src/LogicTasks/Syntax/TreeToFormula.hs

Line 55 in 9869ce3

collapsed False (translations $ do

I'd suggest to do it with collapsed True in ComposeFormula.

[jvoigtlaender]

Also in SubTreeSet.

[jvoigtlaender]

Also in DecomposeFormula.

[jvoigtlaender]

Also in findliar.flex

[jvoigtlaender]

Also in proplogic.flex.

[KatinkaMeer]

Es dürfen auch nicht unbedingt super wichtige Hinweise mit in das collapsed?
Bsp.: KatinkaMeer@9cb6344

[jvoigtlaender]

Im Grunde sicher ja. Andererseits wäre es für die discoverability vielleicht besser, dass das vorhersagbarer ist.

Also wenn wie hier ursprünglich gedacht, immer genau die Formellegende in dem Collapsed steht, und der Collapsed-Button mit etwas wie "Notationshinweise" beschriftet ist, dann wissen Studierende nach der zweiten oder dritten Aufgabe, dass sich hinter "Notationshinweise" immer die gleiche Legende verbirgt. Und dann öffnen sie diesen Knopf auch gar nicht mehr.

Wenn jetzt allerdings weiteres Material "in" diesen Knopf wandert, dann gibt es ja zwei Möglichkeiten:

• Option 1: Der Knopf heißt trotzdem weiterhin "Notationshinweise"
• Option 2: Der Knopf heißt stattdessen "Zusätzliche Hinweise" o.ä.

Im Fall 1 öffnen Studierende den Knopf gar nicht mehr, weil sie glauben, sie wüssten eh, was dort steht. Und dann verpassen sie einen extra hinzugefügten (wenn auch marginalen) Hinweis.

Im Fall 2 öffnen Studierende den Knopf, weil ein neuer Header draufsteht, finden dann aber doch nur fast vollständig bekanntes.

In beiden Fällen scheint es mir der Nutzungsoptimierung abträglich.

Die Option "Der Knopf heißt immer gleich und enthält das Gleiche, und etwas wie der genannte Marginalhinweis wird außerhalb des Knopfes gegeben" scheint mir beiden obigen Optionen überlegen.

[jvoigtlaender]

In TreeToFormula bliebe es beim aktuellen Header, dort steht ja aber auch mehr drin. Ab der darauffolgenden Aufgabe könnte es dann ein spezifischerer Header sein, der Inhalt immer "der gleiche" (bzw. "nur Notationslegende"), und es wäre per Default immer zugeklappt, müsste aktiv geöffnet werden, was man wahrscheinlich nur ein/zweimal macht.

[KatinkaMeer]

Ich habe versucht eine klare Antwort/Entscheidung zu erkennen, um daraus die gewünschte Handlung abzuleiten:
Nicht erfolgreich.

Was genau soll ich jetzt tun?

---

Anmerkungen:

Ich habe Verständnis für Neugierde, aber warum sollte man den "Hinweise"-Button drücken, wenn die Aufgabenstellung klar ist.

Im Fall 2 öffnen Studierende den Knopf, weil ein neuer Header draufsteht, finden dann aber doch nur fast vollständig bekanntes.

Solange die spezifischen Hinweise oben stehen, ist das doch okay.

Und ich verstehe nicht was mit

Ab der darauffolgenden Aufgabe könnte es dann ein spezifischerer Header sein, der Inhalt immer "der gleiche" (bzw. "nur Notationslegende")

gemeint ist.

Was ist die darauffolgende Aufgabe? Und was ist jetzt mit dem zusätzlichen Hinweis passiert? Der ist mit im collapsed, wenn es aufgeklappt ist und nicht mit drin, wenn es defaultmäßig zugeklappt ist?

---

Empfehlung:
Es sollte so gamacht werden, wie ich damit jetzt angefangen habe.
Und es verhält sich vorhersagbar: Dort stehen idR keine Hinweise, die man zum Bearbeiten der Aufgabe benötigt, wenn etwas unklar ist, kann man dort rein schauen, es enthält am Ende immer die Hinweise zur Notation.

Das erscheint mir sinnvoll, da man die in das collapsed verschobenen Hinweise nicht wirklich braucht und wenn sie nicht im collapsed stehen, dann ignoriert man in Zukunft ggf. wichtige Teile der Aufgabenstellung ab einer gewissen Länge, weil man erwartet, dass dort nur noch "sowas" kommt. Ist das nicht der Grund weshalb wir überhaupt mit collapsed angefangen haben?

Den wahrgenommenen Aufgabentext zuverringern ist aus verschiedenen Gründen ein anzustrebendes Ziel.

Jetzt intensiv abzuwägen, ob das Aufklappen der Hinweise, ineffizienter ist, als den Hinweis zu lesen vs. ob der Schaden die Hinweise nicht auszublenden, wodurch das Ignorieren von Hinweisen gelernt werden könnte größer ist als die Ineffizient des Aufklappens, würde ich gerne sein lassen. Bitte kommunizieren Sie Ihre Entscheidung deutlich.

[jvoigtlaender]

Okay, die Argumentation passt für mich nicht ganz, weil insbesondere der Teil

(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)

mal nicht nur "aus Vorsicht" hinzugenommen wurde, sondern weil Studierende echt Probleme mit der Aufgabe hatten ohne diesen Hinweis (meine Erinnerung nach). Daher fände ich besser, konkret diesen Hinweis nicht hinter einem Knopf zu verstecken, den Studierende gar nicht mehr öffnen.

Und meine Entscheidung ist dann das, was der Titel dieses Issues besagt. Bzw. expliziert:

• Wo aktuell die Formellegende noch im Haupttext steht (und es sich um einen der in meinen ursprünglichen Kommentaren oben gelisteten Aufgabentypen handelt), wird die Formellegende (und nur diese) in einen neuen Collapsed verschoben.
• Dieser neue Collapsed hat eine spezifische Beschriftung der Art "Notationslegende".
• Dieser neue Collapsed ist voreingestellt zugeklappt.