Interaktive Theorembeweiser im Mathematikstudium

Interaktive Theorembeweiser (ITB) sind innovative digitale Tools, die zum Beweisen von mathematischen Sätzen dienen und die sich aktuell in der Forschung als herausragendes digitales Werkzeug entwickeln. ITBs können auch gewinnbringend in der Hochschullehre verwendet werden, da sie Studierenden interaktives Feedback zu ihren Beweisen geben und weitere Stützen in Form von Übersichten und Hinweisen bieten. ITBs sind schon am Studienanfang zugänglich und haben dadurch auch das Potenzial, Probleme mit dem mathematischen Formalismus und dem Beweisen beim Übergang Schule-Hochschule abzumildern. Um Studierende in ITBs einzuführen, wollen wir in zwei Zyklen Lernumgebungen zu ITBs entwickeln und in der Regellehre erproben. Im ersten Zyklus soll die Lernumgebung die Vorlesung und den Übungsbetrieb der Mathematik-Erstsemestervorlesung Linearen Algebra 1 begleiten, im zweiten ein Masterseminar. Dazu wird Material in Form einer digitalen, online verfügbaren Lernumgebung entwickelt. Diese besteht sowohl aus Aufgaben, in denen man konkret mit dem ITB “Lean” arbeitet, als auch aus Anleitungen, Erklärungen, Videos, Hinweisen und schriftlichen Begleitaufgaben.