Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
Automatisches Assessment: Unterschied zwischen den Versionen
| [unmarkierte Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
|||
| (10 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]] | ||
| Zeile 9: | Zeile 12: | ||
* [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] | ||
* [http://www.wi.uni-muenster.de/pi/lehre/ss08/SeminarE-Learning/ | * 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) | |||
Aktuelle Version vom 22. November 2015, 18:14 Uhr
Fehler beim Erstellen des Vorschaubildes: Datei fehlt | Bitte Belege ergänzen! |
[+Details][+Jetzt verbessern]
Der auf dieser Seite veröffentlichte Text ist nicht hinreichend durch Quellen belegt. Sie können uns helfen: Bitte ergänzen Sie im Text die notwendigen Belege und entfernen Sie dann diesen Hinweis. Sie können Ihre Änderungen auch auf der Diskussionsseite mit anderen Madipedia-Mitgliedern abstimmen.
Wenn Sie den Artikel direkt verbessern wollen, dann kommen Sie mit "Jetzt verbessern" direkt an die richtige Stelle. Hilfen zum Bearbeiten haben wir unter Hilfe bereitgestellt.
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
Dies ist eine Liste von verschiedenen Werkzeugen, mit denen mathematisches Arbeiten automatisiert überprüft werden kann. Ergänzungen willkommen.
- Geolog
- Cinderella
- Maple T.A.
- EASy
- AIM: Alice Interactive Mathematics
- Mathematische Beweise[1]
- Geometry Expert (Xiao-Shan Gao et al)
- SSP - Super Sketchpad
- Theorema (Buchberger et al)
- Exorciser (zu theoretischer Informatik)
- Saraswati
- OUNL Exercise Assistant Online (zu Aussagenlogik; Login mit beliebiger Matrikelnummer)
- Digitale Wiskunde Oefenomgeving (zur Umformung von Gleichungen)