05912237

a

05912237 Zenker, Frank Gottschall, Christian Newen, Albert van Riel, Raphael Vosgerau, Gottfried Designing an introductory course to elementary symbolic logic within the blackboard e-learning environment. 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, 249-255 (2011). 2011 Berlin: Springer EN

doi:10.1007/978-3-642-21350-2_30

Summary: We report on the design of a blended-learning course in elementary symbolic logic. Challenges and solutions pertaining to the Blackboard e-learning environment (Blackboard Academic Suite Release 8.0) and a customized Gentzen-style proof checker are described. The purpose is to provide orientation for those in the planning stage of similar projects.