
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

Zukunftshorizonte erweitern @ OTH Regensburg
Der Umgang mit gesellschaftlichen Transformationsprozessen (Digitalisierung, Nachhaltigkeit, Internationalisierung, u.v.m.) erfordert bei Studierenden Kompetenzen, die an der OTH Regensburg nur durch eine Transformation der Lehrarchitektur in vollem Umfang adressiert werden können. Diese Kompetenzen verstehen wir als Future Skills in einem erweiterten Sinne: Neben technologischen und transformativen Kompetenzen, digitalen Schlüsselkompetenzen und klassischen Kompetenzen umfassen diese, im Rahmen einer ganzheitlichen Bildung, auch die Dimensionen der Persönlichkeitsentwicklung und gesellschaftlichen Verantwortung. Das Projekt zielt darauf ab, die Lehre entlang des gesamten Lifecycles von Studierenden und Lehrenden auf diese Future Skills im weit gefassten Sinne auszurichten. Hierzu wird ein Zentrum für transdisziplinäres Lernen eingerichtet, das studiengang- und fakultätsübergreifende Lehrangebote organisatorisch bündelt und als integrale Bestandteile der Studiengangs-Curricula strategisch weiterentwickelt. Das Vorhaben fördert die individuelle Befähigung der Lehrenden zu Future Skills, die Weiterentwicklung der fachlichen Lehre durch eine Curriculumwerkstatt sowie die Weiterentwicklung der Zusatzangebote und Weiterbildungsprogramme. Auch Bedarfe und Rückmeldungen von regionalen Unternehmen fließen in die Umsetzung des Projekts ein. Das agil gesteuerte Projekt wird über die gesamte Laufzeit wissenschaftlich begleitet und evaluiert.
Projekt anzeigen
Modul Bridgelab
Zum Sommersemester 2026 wird erstmals die Masterveranstaltung BridgeLab im Masterstudiengang Bauingenieurwesen der Universität Siegen angeboten. Ziel ist es, Studierenden eine projektorientierte Lernumgebung zu bieten, in der aktuelle Fragestellungen des Brückenmonitorings praxisnah bearbeitet werden. Im BridgeLab arbeiten Studierende in Teams an realitätsnahen Aufgabenstellungen zur Analyse und Bewertung von Brückenbauwerken. Dabei kommen moderne Methoden der digitalen Modellierung und strukturellen Analyse zum Einsatz. Neben fachlichen Inhalten steht insbesondere der Transfer zwischen universitärer Forschung, ingenieurpraktischen Anwendungen und innovativen Lehrformaten im Mittelpunkt. Die Veranstaltung ist im Modulkatalog der Fachprüfungsordnung verankert und richtet sich an Masterstudierende mit Interesse an Bauwerksüberwachung, Infrastruktur und digitalen Methoden im Brückenbau.
Maßnahme anzeigen
Durchführung hybrider Praktikumsversuche im Bereich der Ingenieurwissenschaften an der HTWK Leipzig
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen