Anticipating the Digital Age of Mathematics
Computergestützte Beweisassistenten haben heute ein Niveau erreicht, das die Formalisierung, Verifizierung und digitale Weiterverarbeitung weiter Teile unseres mathematischen Kenntnisstandes in greifbare Nähe rücken lässt. Das Ende 2020 vom Fields-Medallisten Peter Scholze initiierte Liquid Tensor Experiment hat gezeigt, dass es inzwischen möglich ist, selbst neueste Forschungsergebnisse mit vertretbarem Aufwand digital abzubilden und zu verifizieren. Wir müssen davon ausgehen, dass für die nächste Generation Mathematikerinnen Beweisassistenten zu einem zentralen Werkzeug avancieren werden. Das Projekt ADAM möchte einen Beitrag leisten, sie für diesen Wandel zu wappnen.
Auf einen Blick
Kontakt
Das könnte Sie auch interessieren
Prüfungen innovieren, Transfer schaffen, Chancengerechtigkeit fördern
Digitales Prüfen stellt Hochschulen vor große Herausforderungen. Die Pandemie hat verdeutlicht, an welchen Stellen es an didaktischen, technischen, organisatorischen und rechtlichen Lösungen fehlt, um Prüfungen digital umzusetzen und kompetenzorientiert zu gestalten. Bisher wurden Prüfungen nur selten als strategische Entwicklungsaufgabe begriffen, obwohl sie viele Gestaltungsfragen zum Umgang mit Diversität und Chancengerechtigkeit aufwerfen. Die Universität Duisburg-Essen will sich dieser Aufgabe annehmen und zur Erschließung der Potenziale digitaler Prüfungen im Sinne einer neuen Prüfungskultur beitragen. Im interdisziplinären Austausch einer Professional Learning Community von Lehrenden, Studierenden und zentralen Stellen werden in allen Fakultäten beispielgebende Prüfungen weiterentwickelt. Das Vorgehen orientiert sich am Threshold-Ansatz, um (Schwellen-)Konzepte der Disziplinen transparent zu machen, deren Bewältigung für den Prüfungs- und Studienerfolg besonders relevant sind. In diesem Rahmen werden neue disziplinspezifische Aufgabentypen und Prüfungsszenarien modellhaft entwickelt und über Austausch- und Transferformate weiteren Lehrenden innerhalb und außerhalb der Universität zugänglich gemacht.
Projekt anzeigen
Vibrometer-basierte Justierung digitaler Zwillinge
In der Projektfortsetzung wurde die Anforderung aufgenommen, das Schwingungsverhalten physischer Versuche zu erfassen, um die digitalen Zwillinge justieren zu können. Für eine schnelle und unkomplizierte Messung von Schwingungen in verschiedenen experimentellen Setups wurde ein Laservibrometer beschafft.
Maßnahme anzeigen
AI Tutor for Programming Exercises : Combining Results- and Code-Based Feedback
Poster
Publikation anzeigen