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
Embodied Conversational Agents (ECAs) in der Lehre
Die persönliche und individuelle Begleitung von Studierenden ist für gutes Lernen, Wohlbefinden und Freude am Studium von zentraler Bedeutung. Lehrende sind häufig ausgelastet und können die individuelle Betreuung nicht sicherstellen. Die Integration Künstlicher Intelligenz, wie z.B. ChatGPT, in Selbststudium und Lehre erfordert Konzepte, wie KI gewinnbringend für Studierende, Lehrende und Hochschulen eingesetzt werden kann. Wir sehen die Möglichkeit, diese Herausforderungen zu verbinden und KI zur Verbesserung der Studienerfahrung einzusetzen. Unsere Idee ist, einen verkörperten, KI-basierten Assistenten (embodied conversational agent, EAC) zu entwickeln, der sowohl im individuellen Studierendenalltag als auch in der Lehre zum Einsatz kommt. Durch die Verkörperung wird eine personalisierte Interaktionserfahrung erzeugt, die das Training sozialer Kompetenzen ermöglicht und Hochschulangehörige körperlich aktiviert. Sprachfunktion und Mimik reduzieren Barrieren für Studierende mit Beeinträchtigungen. Das Institut für Intelligente Interaktion und Immersive Erfahrung (IIIX) qualifiziert sich für die Durchführung des Projekts durch die Erfahrung in der Entwicklung von KI-Assistenten, die technischen Ressourcen sowie die notwendige Expertise in Pädagogik, inklusiver KI und Informatik. Mit dem UniC möchten wir Studierende in ihren Lernkompetenzen unterstützen, Lehrende entlasten und die Hochschule in eine interaktive und sozial unterstützende Lernumgebung transformieren.
Projekt anzeigen
Anpassung der Kommunikationsstruktur
Die ursprünglich angelegten Kommunikationskanäle bewiesen sich als irreführend. Daraufhin wurde der Kanal angepasst, um eine nahtlose Kommunikation zu ermöglichen. [Anm. StIL: Diese Maßnahme wurde in einer Vorgängerversion der Abfrage dokumentiert. Bei der Übertragung auf das aktuelle Format kann es vorkommen, dass die Antworten nicht hundertprozentig zur Frage passen.]
Maßnahme anzeigen
Do achievement goals and self-efficacy matter for feedback use?
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen