Intelligente Beispieldatenbank

Für das Verständnis mathematischer Theorien ist die intensive Beschäftigung mit Beispielen von großer Bedeutung. Dem wird innerhalb von MaMpf durch das Projekt ErDBeere („Erkenntnisfördernde Datenbank zur Beispielerfassung und -entwicklung“) Rechnung getragen. Im Rahmen von ErDBeere wird eine intelligente Datenbank von Beispielen mathematischer Objekte aufgebaut. Diese soll es Studierenden ermöglichen, gezielt nach konkreten mathematischen Objekten mit bestimmten Eigenschaften zu suchen. Die Datenbank enthält auch Nachweise in Text-oder Videoform der entsprechenden Eigenschaften. Über die Datenbankfunktion hinaus soll ErDBeere auch mit abstrakten Zusammenhängen wie Implikationen operieren und Suchanfragen diesbezüglich bewerten können. So sollen sich Rückmeldungen nicht auf: „In der Datenbank wurde kein Objekt mit den gewünschten Eigenschaften gefunden“ beschränken, sondern auch: „Ein Objekt mit den gewünschten Eigenschaften kann nach den Aussagen … nicht existieren“ umfassen. Bisher gibt es einen Prototyp der Datenbank, der seit dem Sommersemester 2017 auf MaMpf verfügbar ist.

Letzte Aktualisierung: August 2019

Mehr erfahren über…