A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren, and Johan Jeuring
LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluation of the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.
In Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), 2015.
Links