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. © 2011 Springer-Verlag.
CITATION STYLE
Huertas, A., Humet, J. M., López, L., & Mor, E. (2011). The SELL project: A learning tool for e-learning logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6680 LNAI, pp. 123–130). https://doi.org/10.1007/978-3-642-21350-2_15
Mendeley helps you to discover research relevant for your work.