Feedback Markierungsalgorithmus

[jvoigtlaender]

Was ist hier mit "Ausgabe richtig?" gemeint? Geht es dabei um die Aussage, dass die Formel unerfüllbar ist? Wozu braucht es dann noch das zusätzliche Feedback zu "Modell richtig?" (Und, "Modell richtig? Ja." ist eine merkwürdige Aussage, wenn die Formel doch unerfüllbar ist und somit gar kein Modell haben kann.)

[KatinkaMeer]

Es geht um die drei Teile der Eingabemaske, die ausgefüllt werden:
Die Schritte (Feld: "Schritt 1" bis "Schritt n"), die Ausgabe (Feld: "Ausgabe"), das Modell (Feld: "Modell").

"Modell richtig? Ja." ist eine merkwürdige Aussage, wenn die Formel doch unerfüllbar ist

Modell ist richtig, wenn kein falsches Modell angegeben worden ist, was der Fall ist, wenn es keines gibt und keines angegeben wurde.

Für den Fall, dass es ein Modell gibt, sorgt die Trennug von Ausgabe und Modell dafür, dass Teilpunkte vergeben werden können.

[jvoigtlaender]

Modell ist richtig, wenn kein falsches Modell angegeben worden ist,

Dass das immer so verstanden wird, bezweifle ich. „Modell is richtig“ kann gelesen werden als „da steht ein richtiges Modell“, aber wenn da kein Modell steht, steht da auch kein richtiges Modell.

Wenn dort z.B. stünde „Modelleingabe richtig? Ja.“, sähe das anders aus. Denn „kein Modell eingegeben“ ist dann tatsächlich die richtige Modelleingabe (nicht das richtige Modell).

Aber dann wäre eventuell irritierend, dass da nicht auch „Ausgabeeingabe richtig?“ steht.

Wäre es nicht einfach am besten, wenn bei korrekt getroffener „unerfüllbar“-Feststellung der Teil des Feedbacks zum Modell gar nicht gegeben wird?

Dies:

Für den Fall, dass es ein Modell gibt, sorgt die Trennug von Ausgabe und Modell dafür, dass Teilpunkte vergeben werden können.

könnte davon ja unberührt bleiben, weil es eben ein anderer Fall ist.