TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Although it has a fixed curriculum, EXCHECK allows some freedom in the sequence of exercises traversed by students. In addition to following the proofs required in the fixed lessons, EXCHECK can supervise exercises that require the student to construct sets when given a membership condition. EXCHECK can also be used in a play mode where the student can try to prove any formula or theorem that falls within the subject matter covered in the curriculum. These capabilities reflect the proof checker's flexibility.  1, fiche 1, Anglais, - proof%20checker

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

Voir démontreur de théorème, preuve de théorème.  1, fiche 1, Français, - v%C3%A9rificateur%20de%20d%C3%A9monstration

Fiche 1,  Justifications,  Espagnol