Konzept
Für die Pilot IMathAS wurde verwendet, um die Anforderungen und Randbedingungen zu identifizieren, elektronische Beweise in bestehende web-basierten Learning Management-Systeme zu implementieren und E-Proof in einer Autorenumgebung zu erstellen. IMathAS wurde mit den verfügbaren OLAT-Implementierung des VCRP (Virtueller Campus Rheinland Pfalz) verwendet, da IMathAS auch vom IWM an der Universität Koblenz-Landau zusammen mit einer Intergration in die Lernumgebung OLAT zur Verfügung gestellt wurde.
|
Distraktoren
|
Im Kontext von elektronische Beweise werden DIstraktoren (engl. distractor ein „Ablenker“) als falsche Alternativen zu einem gegebenen Beweisschritt verstanden, die den Lernenden auf Basis einer Analyse von typischen Fehlern der Lernenden angeboten werden. Diese Distraktor findet man in Gleichungskette T1=T2=T3 zu einem Term T3 im Sinne von Multiple-Choice-Test z.B. auch eine Termalternative T4 für die Fortsetzung der Gleichungskette, die eine bestimmte falsche Anwendung einer Regel repräsentiert. Die Qualität der Distraktoren können über empirische Untersuchen ermitteln werden, indem man mit Termalternative und deren Nutzung durch die Probanden der e-Proof-Umgebung getestet.
|
Beispiele
|
Logik in einer Beweisführung ist allerdings nur ein Spezialfall von allgemeiner Fragestellungen, in denen Lernende in eine Abfolge von bestimmten Schritten ein bestimmtes Ziel erreichen wollen. In diesem Abschnitt finden Sie auch Beispiele zu außermathematische begründeten Abfolge von Argumentationsschritten.
|