E-Learning Support for Logic Education
In this paper we introduce two e-learning systems, namely eLogika and (LMS) ORGANON. Both systems are apt for teaching logic and should improve the quality of the teaching. The ORGANON system is primarily aimed at solving tasks and practicing logical formalisms by means of interactive exercises. The eLogika system is intended to support effective automated testing of students’ knowledge together with automatic generation of suitable exam tests. We also describe the application of data-mining methods which can contribute to the improvement of e-learning systems by adjusting particular tests in accordance with students’ capabilities and needs.
KeywordsLogic teaching e-learning data-mining test rating
Unable to display preview. Download preview PDF.
- 1.Duží, M.: Mathematical Logic. A textbook of the VSB-Technical University Ostrava (2002) (in Czech), http://www.cs.vsb.cz/duzi/
- 2.Dostálová, L., Lang, J.: ORGANON - The Web Tutor for Basic Logic Courses. Logic Journal IGPL, doi:10.1093/jigpal/jzm021Google Scholar
- 3.Dostálová, L., et al.: Odkud a jak brát stále nové příklady. ZČU, Plzeň (2009)Google Scholar
- 4.The OpenProof Project. Stanford’s Center for the Study of Language and Information (CSLI), Retrievable at http://ggww.stanford.edu/NGUS/Openproof/