ORGANON: Learning Management System for Basic Logic Courses
暂无分享,去创建一个
We would like to introduce a new e-learning system ORGANON designed for teaching logic. In comparison to regular e-learning systems it is able to handle logic exercises including correcting, grading and providing elementary feedback. In comparison to didactic logic software it is able to handle the administration of teaching, namely assigning individual homework, collecting delivered homework, grading, storing achieved results and providing data-mining. Hence the web tutor fulfills two requirements: it helps students during their study to practice exercises on their own and it helps teachers to diminish the burden of teaching administration and trivial consultations
[1] Dave Barker-Plummer,et al. Language, Proof and Logic , 1999 .
[2] Ludmila Dostálová,et al. ORGANON - The Web Tutor for Basic Logic Courses , 2007, Log. J. IGPL.