6.756
Bearbeitungen
Änderungen
Automatisches Assessment (Quelltext anzeigen)
Version vom 22. November 2015, 18:14 Uhr
, 18:14, 22. Nov. 2015keine Bearbeitungszusammenfassung
{{infobox|BelegeErgänzen}}
Unter Automatischem Assessment versteht man das automatisierte Testen und Prüfen von Mathematik-Kenntnissen und -Fähigkeiten mit Hilfe von Computerprogrammen.
Unter Automatischem Assessment versteht man das automatisierte Testen und Prüfen von Mathematik-Kenntnissen und -Fähigkeiten mit Hilfe von Computerprogrammen.
== Übersicht über Werkzeuge zum automatischen Assessment von Mathematik ==
== Übersicht über Werkzeuge zum automatischen Assessment von Mathematik ==
<!-- evtl. Kategorie einführen -->
<!-- evtl. Kategorie einführen -->
Dies ist eine Liste von verschiedenen Werkzeugen, mit denen mathematisches Arbeiten automatisiert überprüft werden kann. Ergänzungen willkommen.
* [[Geolog]]
* [[Geolog]]
* [ftp://pubftp.computer.org/Press/outgoing/proceedings/csse08/data/3336i612.pdf EASy]
* [ftp://pubftp.computer.org/Press/outgoing/proceedings/csse08/data/3336i612.pdf EASy]
* [http://users.ugent.be/~nvdbergh/aim_rug/docs/ AIM: Alice Interactive Mathematics]
* [http://users.ugent.be/~nvdbergh/aim_rug/docs/ AIM: Alice Interactive Mathematics]
* [[Mathematische Beweise][http://www.wi.uni-muenster.de/pi/lehre/ss08/SeminarE-Learning/ausarbeitungen/ausarbeitung_mueller.pdf]
* Mathematische Beweise[http://www.wi.uni-muenster.de/pi/lehre/ss08/SeminarE-Learning/ausarbeitungen/ausarbeitung_mueller.pdf]
* Geometry Expert (Xiao-Shan Gao et al)
* SSP - Super Sketchpad
* Theorema (Buchberger et al)
* [http://www.swisseduc.ch/informatik/exorciser/ Exorciser] (zu theoretischer Informatik)
* Saraswati
* [http://ideas.cs.uu.nl/genexas/login.php OUNL Exercise Assistant Online] (zu Aussagenlogik; Login mit beliebiger Matrikelnummer)
* [http://www.fi.uu.nl/servlet/fi.dwo.server.persistence.DwoWebPageServlet?language=nl&profile=1&guestUser=true&scoViewNr=9157 Digitale Wiskunde Oefenomgeving] (zur Umformung von Gleichungen)