The e-Proof Definition as Question in IMathAS
|
- An e-Proof for a theorem is determined by a single Question in iMath. This question defines the Preconditions, Conclusions, the available proofsteps and the offered justification for a the defined proof steps.
- The iMath-Creator allows to define those elements of an e-Proof with a Theorem and all Fragements of the proof.
- IMPORTANT: A e-Proof-Definition works if and only if the background code for the e-proof is stored once in your iMath-Installation.
Novice Authors of an e-Proof
USE CASE 1: (Background Code Installed) It is recommended to check, if someone has already used an e-Proof in your iMathAS Implementation. Then search in repository/library for the keyword "E-PROOF" you just add one of those e-Proof questions as template in your assessment and play around with that e-Proof.
USE CASE 2: (Installation Background Code necessary) It nessary to install the Background Code in the IMathAS System of your choice. It is necessary to have teacher priviliges in iMathAS. No iMathAS System Administration rights are necessary.
USE CASE 2: (Installation Background Code necessary) It nessary to install the Background Code in the IMathAS System of your choice. It is necessary to have teacher priviliges in iMathAS. No iMathAS System Administration rights are necessary.
Fragments of an e-Proof
The fragment of an e-proof asks the learner to determine the following three components:
- Select the next proof step description.
- Select the connection to the previous proof step.
- Provide the justifications for the proof step.