\input zb-basic
\input zb-ioport
\iteman{io-port 05912237}
\itemau{Zenker, Frank; Gottschall, Christian; Newen, Albert; van Riel, Raphael; Vosgerau, Gottfried}
\itemti{Designing an introductory course to elementary symbolic logic within the blackboard e-learning environment.}
\itemso{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).}
\itemab
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.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-21350-2\_30}
\end