Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment [chapter]

Frank Zenker, Christian Gottschall, Albert Newen, Raphael van Riel, Gottfried Vosgerau
2011 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-642-21350-2_30 fatcat:kcybdyclqvhkncitx4y2ycqwgq