Eine Übersicht aller Sessions/Sitzungen dieser Veranstaltung. Bitte wählen Sie einen Ort oder ein Datum aus, um nur die betreffenden Sitzungen anzuzeigen. Wählen Sie eine Sitzung aus, um zur Detailanzeige zu gelangen.
Zustandspezifisches Aufgabendesign für Lernumgebungen zum Beweisen mit Theorembeweisern
Zeit:
Dienstag, 03.03.2026:
12:35 - 13:10
Ort:Seminarraum VW.10.001
Raum VW.10.001 auf Ebene 10 von Gebäude VW (gelbe Leitlinie); Kapazität für 38 Personen
Präsentationen
Zustandspezifisches Aufgabendesign für Lernumgebungen zum Beweisen mit Theorembeweisern
Irene Garnelo1, Michael Liebendörfer2
1Universität Paderborn, Deutschland; 2PH Schwäbisch Gmünd, Deutschland
Theorembeweiser werden zunehmend in der Hochschullehre eingesetzt, da sie Studierende beim Erwerb formaler Beweisfertigkeiten unterstützen, sind jedoch nicht einfach zu erlernen. Der Beitrag schärft ein Designprinzip zum Scaffolding von Lernumgebungen zu Theorembeweisern aus. Insbesondere untersuchen wir dafür unterschiedliche Zustände in der Arbeit mit Theorembeweiser und die damit verknüpften Strategien. Die Ergebnisse sprechen für ein zustandsspezifisches Aufgabendesign, das unterschiedliche Stützen gezielt hervorhebt.
