Abstract
The SELL project described here is the design and development of a tool for assisting the learning of Logic in the context of a wholly online CS degree using a web-based learning environment. This tool should provide guidance, interactive feedback, and continuous assessment for Logic course students, covering major topics in an introductory course (natural deduction, resolution and semantics in propositional and predicate logic). The process of the design, implementation, use and development of the resulting tool, coined Logic E-learning Assistant, is presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Etchemendy, J.: Tarski’s World CSLI (2007)
Broda, K., Ma, J., Sinnadurai, G., et al.: Pandora: A Reasoning Toolbox using Natural Deduction Style. Log. J. IGPL 15, 293–304 (2007)
Buyukozkan, G., Ruan, D., Feyzioglu, O.: Evaluating e-Learning Web Site Quality in a Fuzzy Environment. Int. J. Intell. Syst. 22, 567–586 (2007)
Cavus, N.: The Evaluation of Learning Management Systems using an Artificial Intelligence Fuzzy Logic Algorithm. Adv. Eng. Software 41, 248–254 (2010)
Collins, A., Halverson, R.: The Second Educational Revolution: Rethinking Education in the Age of Technology. J. Comput. Assisted Learning 26, 18–27 (2010)
Corbalan, G., Kester, L., van Merrienboer, J.J.G.: Dynamic Task Selection: Effects of Feedback and Learner Control on Efficiency and Motivation. Learning and Instruction 19, 455–465 (2009)
Corbett, A.T., Koedinger, K.R.: Intelligent Tutoring Systems. In: Helander, M., Landauer, T.K., Prabhu, P. (eds.) Handbook of Human-Computer Interaction, pp. 849–874. Elsevier Science B.V., St. Louis (1997)
Dostalova, L., Lang, J.: ORGANON - the Web Tutor for Basic Logic Courses. Logic Journal of the IGPL 15, 305–311 (2007)
Endriss, U.: The Interactive Learning Environment WinKE for Teaching Deductive Reasoning. In: First International Congress on Tools for Teaching Logic, pp. 23–27 (2000)
Etchemendy, J.: Heterogeneous reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 1–1. Springer, Heidelberg (2008)
Huertas, A.: Teaching and Learning Logic in a Virtual Learning Environment. Logic Journal of the IGPL 15, 321–331 (2007)
Humet, J.: LSD, una Herramienta Didáctica para el Aprendizaje de la Lógica. In: JENUI (2001)
Hussain, S.: Developing E-learning Materials. Applying User-centred Design. National Institute of Adult Continuing Education (England and Gales) (2005)
Johnson, M., Barnes, T.: Visualizing Educational Data from Logic Tutors. In: Aleven, V., Kay, J., Mostow, J. (eds.) ITS 2010. LNCS, vol. 6095, pp. 233–235. Springer, Heidelberg (2010)
Lesta, L., Yacef, K.: An Intelligent Teaching Assistant System for Logic. In: Cerri, S.A., Gouardéres, G., Paraguaçu, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 421–431. Springer, Heidelberg (2002)
Lodder, J., Passier, H., Stuutmann, S.: Using IDEAS in Teaching Logic, Lessons Learned, p. 556 (2008)
Moreno, A., Budesca, N.: Mathematical Logic Tutor - Propositional Calculus. In: First International Congress on Tools for Teaching Logic, pp. 99–106 (2000)
Sieg, W.: The AProS Project: Strategic Thinking & Computational Logic. Logic Journal of the IGPL 15, 359–368 (2007)
van Ditmarsch, H.: Educational Logic Software (2005), http://www.ucalgary.ca/aslcle/logic-courseware
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huertas, A., Humet, J.M., López, L., Mor, E. (2011). The SELL Project: A Learning Tool for E-Learning Logic. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)