Help on query formulation
The SELL project: A learning tool for e-learning logic. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 123-130 (2011).
Summary: 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.
Classification: E35 D45 R25 R55 U55 A65
Valid XHTML 1.0 Transitional Valid CSS!