Abstract
Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: Lessons learned. The Journal of the Learning Sciences 4, 167–207 (1995)
Beeson, M.: Design Principles of Mathpert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)
Nicaud, J., Bouhineau, D., Chaachoua, H.: Mixing Microworld and CAS Features in Building Computer Systems that Help Students Learn Algebra. International Journal of Computers for Mathematical Learning 5, 169–211 (2004)
Prank, R., Vaiksaar, V.: Expression manipulation environment for exercises and assessment. In: 6th International Conference on Technology in Mathematics Teaching, pp. 342–348. New Technologies Publications, Athens (2003)
Prank, R., Viira, H.: Algebraic Manipulation Assistant for Propositional Logic. Computerised Logic Teaching Bulletin 4, 13–18 (1991)
Ritter, S., Anderson, J.R.: Calculation and Strategy in the Equation Solving Tutor. In: Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, pp. 413–418. Lawrence Erlbaum Associates, Hillsdale (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prank, R. (2013). Software for Evaluating Relevance of Steps in Algebraic Transformations. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds) Intelligent Computer Mathematics. CICM 2013. Lecture Notes in Computer Science(), vol 7961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39320-4_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-39320-4_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39319-8
Online ISBN: 978-3-642-39320-4
eBook Packages: Computer ScienceComputer Science (R0)