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
Lernendenzentriertes Physikpraktikum an der Hochschule Merseburg
Im Projekt PhysLab@HoMe wird das Physikpraktikum an der Hochschule Merseburg unter zwei Gesichtspunkten umgestaltet: Die inhaltlichen und kompetenzorientierten Lernziele des Praktikums sollen besser erreicht werden und dabei die Bedürfnisse und Möglichkeiten der Studierenden größere Beachtung finden. Studierende werden sich weitestgehend eigenständig in Kleingruppen durch die Inhalte und Experimente des physikalischen Grundpraktikums durcharbeiten. Sie werden die Versuche mit Hilfe geeigneter Materialien vorbereiten, durchführen, auswerten und diskutieren. Die Rolle der Lehrenden wird sich von Erklärenden und Prüfenden zu einer Art Coaches ändern, welche individuell auf die Gruppen eingehen und den maximalen Lernerfolg sichern. Schwerpunkte und Aufgaben der Lehrenden variieren je nach Schwierigkeiten und bisherigen Lernerfolgen einer Gruppe. Studierende werden im Praktikum den für sie selbst bestmöglichen Lernerfolg erreichen, unabhängig von ihrem persönlichen Hintergrund und ihrem Vorwissen. Sie werden dabei experimentelle, wissenschaftliche und persönliche Kernkompetenzen entwickeln. Dazu gehören u.a. thematische Inhalte, die Diskussion von Ergebnissen und ihrer Zuverlässigkeit sowie die Reflexion des eigenen Experimentierens (positive Fehlerkultur). Das Projekt reiht sich ein in die Umgestaltung der Physiklehre an der Hochschule Merseburg von traditionellen Lehrformen zu studierendenzentrierter und aktivierender Lehre.
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
Mechanik mit nichtlinearen finiten Elementen - Digitale Lehr- und Lernmethoden
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen