Installation
Dies engl. Video zeigt, wie der Backgroundcode in IMathAS installiert wird. Dies erfolgt mit der Erstellung von 4 Aufgaben, die die Softwareumgebung für das Nutzen der e-Beweise zur Verfügung stellen. Diese 4 Aufgaben werden über die Aufgabennummern (z.B. 4000,4001,4002,4003) von allen e-Beweisen genutzt.
|
Installationhinweise:
|
ONLINE: e-Beweise in IMathAS
Die für jede IMathAS-Installation sollte in der Regel einmal der Backgroundcode installiert werden, damit lässt sich ein Upgrade der Programmbibliotheken für alle e-Beweise sehr einfach ausführen, da nur an einer Stelle die Programmbibliotheken ausgetauscht werden müssen und von allen e-Beweise verwendet werden. Dafür müssen die 4 Aufgabennummer des Backgroundcodes bekannt sein. In der IMathAS-Installation des VCRP sind das die Aufgabennummern: 4980, 4981, 4982, 4983 und als Beispiel-e-Beweis steht das Majorantenkriterium (4975) ohne Distraktoren und freie definierbare Beweiseschritte zur Verfügung.
Den Background-Code erhalten Sie unter: Kopieren Sie den Code in 4 aufeinanderfolgende IMathAS-Aufgaben. Diese Aufgaben werden NIE direkt aufgerufen, sondern immer von e-Beweisen als Hintergrundcode eingebunden.
|
OFFLINE: e-Beweise mit eProofJS
Für die Offline-Installation muss man einfach die Dateien eProofJS-master.zip herunterladen und auf dem eigenen Rechner in einem Ordner der eigenen Wahl entpacken (z.B. /eBeweise . Dort entsteht ein Unterverzeichnis mit folgendem Namen: /eBeweise/eProofJS . Ferner benötigt die IMathAS-Emulation für die Offline-Nutzung noch MathJax. Dazu muss man die MathJax-ZIP-Datei herunterladen und ebenfalls in dem Ordner /eBeweise . Dadurch entsteht ein weiterer Ordner /eBeweise/MathJax. Dann kann man die
e-Beweise mit eProofElectron
Ein Desktop-Autorensystem für e-Beweise finden Sie unter Sourceforge zum Download. Dies können Sie unter Linux, Windows und MacOSX zu Erstellung von webbasierten e-Beweiseumgebungen verwenden, die direkt im Browser laufen oder aus eProofElectron eine IMathAS Beweis erstellen.
|
Zusammenhang von ONLINE- und OFFLINE-Version
Den Autorenmodus wird man in der Regel im Offlinemodus verwenden, um die e-Beweise zu erstellen. In den "Preferences" kann man im OFFLINE-Modus die Aufgabennummern für den Backgroundcode eintragen (z.B. 4980,4981,4982,4983) und die exportierten e-Beweise binden dann die korrekten Aufgabennummern für den erstellten e-Beweis ein. Mit [Save] in der [Save] im Autormodus kann man als Export-Format "IMathAS" auswählen. Diese Exportfunktion zeigt den ensprechenden Code für Common-Control in IMathAS an.