A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
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