Änderungen

keine Bearbeitungszusammenfassung
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.  
   Zeile 15: Zeile 16:  
* SSP - Super Sketchpad
 
* SSP - Super Sketchpad
 
* Theorema (Buchberger et al)
 
* 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)