Veranstaltungsprogramm

Sitzung

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 Garnelo¹, Michael Liebendörfer²

¹Universität Paderborn, Deutschland; ²PH 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.