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.
Auf einen Blick
Kontakt
Das könnte Sie auch interessieren
Qualität digital gestützter Lehre an bayerischen Hochschulen steigern
Für das Projekt QUADIS haben sich alle bayerischen Universitäten, das DiZ-Zentrum für Hochschuldidaktik der bayerischen HAWs und die Virtuelle Hochschule Bayern zusammengeschlossen, um in drei Projektsäulen die Qualität digital gestützter Lehre an bayerischen Hochschulen zu steigern. In der ersten Säule soll die hochschuldidaktische Weiterbildung um Blended Learning Seminare ergänzt werden. So soll Lehrenden ein Lernen am Modell ermöglicht und die Kapazität der Weiterbildung erhöht werden. Die Materialien sollen arbeitsteilig zweisprachig erstellt, als OER veröffentlicht und so über den Verbund hinaus nutzbar werden. In der zweiten Säule sollen bereits etablierte Formate zur Förderung des Diskurses zu digital gestützter Lehre intensiviert und auf alle Verbundpartner skaliert werden, um Lehrende zu inspirieren und Lehrinnovationen zu generieren. Dazu sollen Themenwochen durchgeführt und Fach-und Arbeitsgruppen Lehrender initiiert und begleitet werden. In der dritten Säule soll der Transfer von Lehrinnovationen in die Lehre durch Lehrwerkstätten unterstützt werden. Deren methodische Ausgestaltungen sollen miteinander verglichen und evaluiert werden, um nach Projektende eine Auswahl für zukünftige Transfermaßnahmen treffen zu können.
Projekt anzeigen
Tio – interaktiver Chatbot zur Prüfungsgestaltung
Im Arbeitspaket „Digitale Prüfungssysteme“ zeigte sich die ausgeprägte Heterogenität der neun Verbundhochschulen als zentrale Herausforderung. Strukturen, Strategien und Prozesse unterschieden sich teils erheblich, insbesondere im Bereich der Prüfungsformen. Zwar waren diese inhaltlich häufig vergleichbar, wurden jedoch in den jeweiligen APO/ASPO unterschiedlich benannt und definiert. Zusätzlich standen nicht an allen Hochschulen dieselben digitalen Prüfungssysteme zur Verfügung. Diese Unterschiede erschwerten die Entwicklung einheitlicher, klar strukturierter Use Cases für Lehrende erheblich. Nach intensiven Abstimmungen wurde entschieden, alle Anwendungsfälle in einem regelbasierten Chatbot abzubilden und über die Projektwebseite bereitzustellen. Dieser Ansatz ermöglicht eine strukturierte Darstellung der vielfältigen digitalen Prüfungslandschaft. Der Chatbot Tio unterstützt Lehrende bei der Auswahl geeigneter Prüfungsformate und erleichtert den Zugang zu bewährten Praxisbeispielen.
Maßnahme anzeigen
Gemeinsam tiefer graben, Ideen spinnen und Kaffee trinken – wie drei ungewöhnliche Austauschformate die digitale Verbundarbeit verbessern.
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen