Automatisches Assessment: Unterschied zwischen den Versionen

keine Bearbeitungszusammenfassung
[gesichtete Version][gesichtete Version]
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
 
(14 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
{{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]]
* [[Cinderella]]
* [[Cinderella]]
* [http://www.maplesoft.com/products/mapleta/ Maple T.A.]
* [http://www.maplesoft.com/products/mapleta/ Maple T.A.]
* [ftp://pubftp.computer.org/Press/outgoing/proceedings/csse08/data/3336i612.pdf EASy]
* [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]
* 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)