fmidue / logic-tasks

0 stars 1 forks source link

Aufgabenideen zur Komposition und Dekomposition von Syntaxbäumen #103

Closed jvoigtlaender closed 6 months ago

jvoigtlaender commented 6 months ago

Hintergrund: die Studierenden sollen die Kompositionalität besser verstehen, nicht nur einfach "irgendeine unstrukturierte" Strategie versuchen, eine Formel aus einem Syntaxbaum zu "erraten".

Die Idee wäre:

jvoigtlaender commented 6 months ago

Es könnte zum Beispiel auch variiert werden, etwa dass t1 als Syntaxbaum und t2 schon als Formel angezeigt wird, mit ansonsten gleicher Aufgabenstellung.

jvoigtlaender commented 6 months ago

Oder es wird die Formel von Op t1 t2 angezeigt (nicht der Syntaxbaum), und die Studierenden werden aufgefordert, den Syntaxbaum zu erstellen, an der Wurzel linken und rechten Teilbaum zu vertauschen, und dann die Formel zum entstandenen neuen Syntaxbaum einzugeben.

(Natürlich lässt sich das dann auch lösen, ohne wirklich den Syntaxbaum aufzumalen. Aber eben nur, wenn man zumindest gedanklich die Struktur aufbauen und zerlegen kann, also etwa durch gedankliches "Parsen" den Top-Level Operator im String finden kann. Und damit wäre dann ein Aspekt adressiert, der bisher wohl noch nicht explizit geübt wird. In gewisser Weise ließe sich durch solch eine Aufgabenstellung also kompensieren, dass wir im Moment keine Aufgaben stellen können, wo ein Syntaxbaum selbst einzugeben ist, im Sinne von ForumulaToTree statt TreeToFormula.)

jvoigtlaender commented 6 months ago

Besonders zu berücksichtigen sein wird wahrscheinlich der Fall mit => als Operator, da er nicht kommutativ ist. Also, soll bei dem "Vertauschen" aus t1 => t2 dann t2 => t1 oder t2 <= t1 werden? Das lässt sich durch die Aufgabenstellung beeinflussen, also ob eine zur ursprünglichen semantisch äquivalente Formel einzugeben ist.

jvoigtlaender commented 6 months ago

Wird in #108 und ggfs. #112 ausgeführt.