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
Tut4Schools Tutorien für Schulen
Mit Tut4Schools wird die Studieneingangsphase adressiert und ein erleichterter Übergang von Schule zu Hochschule realisiert, da hier die teilweise sehr heterogenen Wissens- und Persönlichkeitsprofile der Schüler*innen bzw. Studierenden zu enormen Herausforderungen für Lernende und Lehrende führen. Der Schlüssel zu Optimierungen in diesem Bereich liegt in der kooperativen und interinstitutionellen Entwicklung und Durchführung von Tutorien für Schulen. Durch das Konzept der mit Schüler*innen gemeinschaftlichen, anwendungsorientierten Erarbeitung von Lerninhalten kann der Schock beim Übergang zur Hochschule abgemildert werden. Dazu trägt das Kennenlernen von virtuellen bzw. realen Hochschul-Lernumgebungen, erste Berührungspunkte mit Studieninhalten, Arbeitsweisen von Studierenden und der Kontakt zu Institutionen und relevanten Personen bei. Auf Studierendenseite bilden neben der vertieften Beschäftigung mit fachlichen Inhalten und didaktischen Methoden, die Förderung von sog. Future Skills (z. B. interkulturelle Kommunikation, agiles Arbeiten) einen echten Vorteil, der insbesondere bei der Suche nach Anstellung behilflich ist. Weiter wird in diesem Format die Bekanntheit der htw saar und ihrer anwendungsorientierten Lehrmethodik gesteigert. Durch die mögliche Durchführung in unterschiedlichen Schulformen und fachlichen Bereichen kann ihre Reichweite beachtlich gesteigert werden und eine frühzeitige Bindung von Schüler*innen erreicht werden.
Projekt anzeigen
Communitybuilding für Lehrende
Die Maßnahme richtet sich an Lehrende mit hohem Workload, die dennoch einen praxisorientierten Austausch zu digitalen Lehr- und Lernwerkzeugen suchen. In locker gestalteten Workshops werden Hierarchien bewusst aufgehoben und eine greifbare, weniger akademische Ansprache gewählt. Ziel ist es, keinen zusätzlichen Zeitaufwand zu erzeugen, sondern tatsächlichen Mehrwert zu bieten: Dazu zählen individuelle 1:1-Gespräche, Anerkennung ausgezeichneter Lehre sowie ein asynchrones Social-Network (Academic Cloud Hub) für Publikationen, Ankündigungen und informellen Austausch. Ergänzend ermöglichen Kontakte über LinkedIn und ähnliche Netzwerke gezielt Unterstützung einzuholen. Durch fach- und institutsübergreifende Vernetzung werden didaktische und technische Herausforderungen – etwa der Einsatz von KI-Tools – gemeinsam adressiert. Als Impuls dienen eine gemeinsame Lehr-Lern-Plattform und Academic Cloud Tools.
Maßnahme anzeigen
FeeDi: Typunabhängiges Diagramm-Assessment durch deklarative Diagrammspezifikation
[Kurzbeschreibung folgt (Anm. StIL)]
Publikation anzeigen