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
Co-Creation in der universitären Lehre
Universitäre Lehre in der Betriebswirtschaftslehre fokussiert sich stark auf Vorlesungen und forschungsorientierte Seminare. Teilweise wird die Lehre durch Fallstudien oder Unternehmensprojekte praxisorientiert gestaltet. Diese Formate haben ihre Stärken, sind jedoch nicht sehr sensitiv für den Hintergrund der Studierenden sowie einen sich schnell verändernden Zeitgeist. Das CoCun Projekt schlägt einen innovativen Co-Creation Ansatz vor, um diese Herausforderungen zu adressieren. Co-Creation in der Lehre bedeutet für uns einen handlungsorientierten Ansatz zu verfolgen, der vollständig auf frontale Inputs verzichtet. Alle Inhalte des Kurses werden in Kollaboration der Studierenden untereinander sowie im Austausch mit den Dozierenden erarbeitet. Unser Verständnis des Co-Creation Ansatzes stellt damit die Bedürfnisse der Studierenden in den Vordergrund und gewährleistet Kompetenzorientierung.
Projekt anzeigen
Digitaler Studienplanungsassistent
In der Maßnahme wurde ein digitaler Studienplanungsassistent für die Universität Bamberg entwickelt und beforscht. Ziel war die Zentralisierung planungsrelevanter Informationen für Studierende in einem System zur Verbesserung des Studienplanungsprozesses. Dabei wurde u. a. untersucht, ob und wie vergangene Studienverlaufsdaten in Form von Empfehlungen innerhalb eines solchen Tools zielführend integriert werden können. Insgesamt deutet eine erste qualitative Evaluation der Anwendung auf eine hohe Relevanz und Nützlichkeit für Studierende der untersuchten Hochschule hin.
Maßnahme anzeigen
Flexibilisierung von Konferenzformaten – Perspektiven auf Inverted-Classroom-Tagungen
Der Beitrag vergleicht Konferenzerfahrungen von Teilnehmenden einer Inverted-Classroom-Tagung mit Präsenztagungen. Während die Perspektive der Teilnehmenden bei ‚klassischen‘ Formaten untersucht wurde, fehlt es an Einblicken wie Tagungsteilnehmende ‚moderne‘ Konferenzformate bewerten. Im Fokus steht die Frage, welche Unterschiede zwischen den verschiedenen Formaten wahrgenommen werden. Dafür wurden Teilnehmende (N = 81) einer Inverted-Classroom-Tagung befragt. Die Ergebnisse geben Einblicke in die Perspektive der Teilnehmenden und zeigen am Beispiel von Inverted-Classroom-Tagungen, dass Abweichungen von klassischen Tagungsformaten positiv bewertet werden.
Publikation anzeigen