Advertisement

E-Learning Support for Logic Education

  • Marie Duží
  • Marek Menšík
  • Martina Číhalová
  • Ludmila Dostálová
Part of the Communications in Computer and Information Science book series (CCIS, volume 194)

Abstract

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.

Keywords

Logic teaching e-learning data-mining test rating 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Duží, M.: Mathematical Logic. A textbook of the VSB-Technical University Ostrava (2002) (in Czech), http://www.cs.vsb.cz/duzi/
  2. 2.
    Dostálová, L., Lang, J.: ORGANON - The Web Tutor for Basic Logic Courses. Logic Journal IGPL, doi:10.1093/jigpal/jzm021Google Scholar
  3. 3.
    Dostálová, L., et al.: Odkud a jak brát stále nové příklady. ZČU, Plzeň (2009)Google Scholar
  4. 4.
    The OpenProof Project. Stanford’s Center for the Study of Language and Information (CSLI), Retrievable at http://ggww.stanford.edu/NGUS/Openproof/

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Marie Duží
    • 1
  • Marek Menšík
    • 1
  • Martina Číhalová
    • 1
  • Ludmila Dostálová
    • 1
  1. 1.Department of Computer ScienceFEI, VSB – Technical University OstravaOstrava-Poruba

Personalised recommendations