Skip to main content
SpringerLink
Log in

E-Learning Support for Logic Education

  • Conference paper
Digital Enterprise and Information Systems (DEIS 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 194))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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/jzm021

    Google 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/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, FEI, VSB – Technical University Ostrava, 17. listopadu 15, 708 33, Ostrava-Poruba

    Marie Duží, Marek Menšík, Martina Číhalová & Ludmila Dostálová

Authors
  1. Marie Duží
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marek Menšík
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martina Číhalová
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ludmila Dostálová
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. London Metropolitan Business School, London Metropolitan Business University, Eden grove - EG4.06, N7 8EA, London, UK

    Ezendu Ariwa

  2. Information Systems Department, King Saud University, 11543, Riyadh, Saudi Arabia

    Eyas El-Qawasmeh

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Duží, M., Menšík, M., Číhalová, M., Dostálová, L. (2011). E-Learning Support for Logic Education. In: Ariwa, E., El-Qawasmeh, E. (eds) Digital Enterprise and Information Systems. DEIS 2011. Communications in Computer and Information Science, vol 194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22603-8_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22603-8_49

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22602-1

  • Online ISBN: 978-3-642-22603-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation