In dieser Arbeit wird ein konzeptionell neuer Algorithmus zur Online-Diagnose in einem mathematischen Lernsystem vorgeschlagen, der auf Konzepten der Termersetzung und der dynamischen Programmierung basiert. Mit dem Diagnoseprogramm BugFix („bug“ engl. für „Fehler“, „fix“ engl. für „reparieren“) wird eine leistungsfähige Implementierung vorgestellt, die für vorgegebene Aufgabenstellungen mehrere Milliarden verschiedene Schülerrechnungen als mögliche Diagnosen berücksichtigt, ohne daß eine subjektiv wahrnehmbare Wartezeit für den Schüler entsteht. Die verwendeten Datentypen ermöglichen durch maximale Strukturteilung eine effiziente Speicherverwaltung. | In dieser Arbeit wird ein konzeptionell neuer Algorithmus zur Online-Diagnose in einem mathematischen Lernsystem vorgeschlagen, der auf Konzepten der Termersetzung und der dynamischen Programmierung basiert. Mit dem Diagnoseprogramm BugFix („bug“ engl. für „Fehler“, „fix“ engl. für „reparieren“) wird eine leistungsfähige Implementierung vorgestellt, die für vorgegebene Aufgabenstellungen mehrere Milliarden verschiedene Schülerrechnungen als mögliche Diagnosen berücksichtigt, ohne daß eine subjektiv wahrnehmbare Wartezeit für den Schüler entsteht. Die verwendeten Datentypen ermöglichen durch maximale Strukturteilung eine effiziente Speicherverwaltung. |