Software

Im Projekt SAiL-M entwickelte Software

ColProof-M

ColProof-M ist ein Werkzeug, mit dem Studierende das Führen geometrischer Beweise erlernen können.

ComIn-M

ComIn-M ist ein webbasiertes Lernwerkzeug, mit dem Studierende Beweise mittels Vollständiger Induktion üben können.

MoveIt!-M

MoveIt!-M ist eine interaktive Experimentierwerkstatt zur Erforschung von Kongruenzabbildungen und ihrer Darstellung durch Achsenspiegelungen.

SetSails!

SetSails! ist eine eLearning-Anwendung, mit der Studierende lernen, Terme in der Mengenalgebra umzuformen.

Squiggle-M

Squiggle-M ist eine offene Experimentierumgebung für das Lernfeld Funktionen. Hier werden in verschiedenen Laboren der Funktionsbegriff mit den Begriffsbausteinen Totalität und Eindeutigkeit sowie angrenzende Funktionseigenschaften wie Surjektivität, Injektivität und Bijektivität selbstständig erarbeitet.

Squiggle-M

WebDale

WebDale ist eine Online-Experimentierumgebung zum Thema "PHP und Datenbanken".

WebDale

Feedback-M

Feedback-M ist ein kompaktes Framework, mit dem in Java entwickelte Lernumgebungen um Funktionen für semi-automatisches Feedback erweitert werden können.

FeedbackM

SMALA

SMALA (SAiL-M Architecture for Learning Analytics) ist eine Architektur zur Aufzeichnung von Lösungswegen und Lernaktivitäten, die es den Lehrenden ermöglicht, die individuellen Lernprozesse der Studierenden nachzuvollziehen und zu analysieren.

SMALA

Im Projekt verwendete und weiterentwickelte Software

Cinderella

Cinderella ist ein Dynamisches Geometriesystem (DGS). Damit lassen sich geometrische Konstruktionen aller Art einfach und schnell erstellen. Angefangen von einfachen Dreieckssätzen über Zusammenhänge der nicht-euklidischen Geometrie bis hin zu Fraktalen und Transformationsgruppen können Zeichnungen interaktiv erstellt und manipuliert werden.

http://www.cinderella.de

Jacareto

Jacareto steht für Java Capture & Replay Tool. Mit Jacareto lässt sich die Interaktion des Benutzers mit Java-Programmen aufzeichnen. Die erfassten Daten werden automatisch strukturiert und lassen sich quantitativ analysieren. Aber auch eine qualitative Auswertung ist durch Wiedergabe der Aufzeichnung möglich.