Didaktický software a webové aplikace pro výuku dedukce:

Ara Project

Ray JENNINGS
Simon Fraser University, Vancouver
http://www.sfu.ca/llep/Ara



Abstrakt

In short, Project Ara is a coordinated effort to improve early logic instruction. Project Ara is made up of Proof and Consequence, Simple Simon, Simon, Omnis and Simon Says. These are, respectively, a logic text, a study guide, an accompanying (intelligent tutor) student editor, an advanced instructor editor (including a student-performance tracking utility), and an automated online grading and record-keeping service. A review of this project requires not only the review of the logic texts, Proof and Consequence and Simple Simon, but also the review of the accompanying software. With that in mind, we have designed a number of demonstrations providing a potential client a thorough understanding of the project and its goals at http://www.sfu.ca/llep/Ara. The Ara software automates the course, removing significant burden from the instructor, essentially removing the need for assistants.

Prezentace

Článek ve sborníku