E-Learning Support for Logic Education

被引:0
作者
Duzi, Marie [1 ]
Mensik, Marek [1 ]
Cihalova, Martina [1 ]
Dostalova, Ludmila [1 ]
机构
[1] Tech Univ Ostrava, FEI, Dept Comp Sci, Ostrava 70833, Czech Republic
来源
DIGITAL ENTERPRISE AND INFORMATION SYSTEMS | 2011年 / 194卷
关键词
Logic; teaching; e-learning; data-mining; test rating;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:560 / 568
页数:9
相关论文
共 4 条
[1]  
[Anonymous], OPENPROOF PROJ
[2]  
DOSTALOVA L., 2009, ODKUD JAK BRAT STALE
[3]   ORGANON -: The web tutor for basic logic courses [J].
Dostalova, Ludmila ;
Lang, Jaroslav .
LOGIC JOURNAL OF THE IGPL, 2007, 15 (04) :305-311
[4]  
Duzi M., 2002, MATH LOGIC TXB VSB T