Title :
Using IDEAS in Teaching Logic, Lessons Learned
Author :
Lodder, Josje ; Passier, Harrie ; Stuurman, Sylvia
Author_Institution :
Dept of Comput. Sci., Open Univ. Netherland, Heerlen
Abstract :
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.
Keywords :
computer aided instruction; formal logic; rewriting systems; IDEAS; disjunctive normal form; interactive tool; logical formula rewriting; Computer science; Education; Error correction; Feedback; Linear algebra; Logic testing; Mathematics; Software engineering; -e-learning; exercise assistant; feedback; interactive too; logic; teaching;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.403
