Using IDEAS in Teaching Logic, Lessons Learned
Josje Lodder, Harrie J. M. Passier, Sylvia Stuurman · 2008
At the Open University we are developing tools to support students in learning procedural skills. The tool for rewriting logical formulas into disjunctive normal form was tested with students in the period 2007-2008. The results of this tests help us to improve our tool, give answers to some questions we had during the development and encourage us to proceed.