Arithmetic, Logic, Syntax and MathCheck
Valmari, A., & Rantala, J. (2019). Arithmetic, Logic, Syntax and MathCheck. In H. Lane, S. Zvacek, & J. Uhomoibhi (Eds.), CSEDU 2019 : Proceedings of the 11th International Conference on Computer Supported Education. Vol. 2 (pp. 292-299). SciTePress. https://doi.org/10.5220/0007708902920299
© 2019 by SCITEPRESS.
MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primarily a feedback tool, not an assessment tool. MathCheck is more faithful to established mathematical notation than most programs. Special attention has been given to rigorous processing of undefined expressions, such as division by zero. To make this possible, in addition to the two truth values “false” and “true”, it uses a third truth value “undefined”. ...
Parent publication ISBN978-989-758-367-4
ConferenceInternational Conference on Computer Supported Education
Is part of publicationCSEDU 2019 : Proceedings of the 11th International Conference on Computer Supported Education. Vol. 2
Publication in research information system
MetadataShow full item record
Showing items with similar title or keywords.
Interaction in online learning environments : how to support collaborative activities in higher education settings Mäkitalo, Kati (Koulutuksen tutkimuslaitos, 2006)Collaboration promoted and supported by instructional technology has the potential to lead learners to deeper understanding and knowledge building. There have been optimistic views that any web based interaction can be ...
Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator Valmari, Antti (SCITEPRESS - Science and Technology Publications, 2021)We present an approach and a tool for automatically providing feedback on solutions that involve complicated reasoning patterns. Currently the tool supports linear systems of equations and inequations that may also contain ...
Niemelä, Pia; Valmari, Antti; Ali-Löytty, Simo (Springer Nature Switzerland AG, 2019)To adapt all-immersive digitalization, the Finnish National Curriculum 2014 (FNC-2014) ‘digi-jumps’ by integrating programming into elementary education. However, applying the change to mathematics teachers’ everyday praxis ...
Niemelä, Pia; Valmari, Antti (SCITEPRESS Science And Technology Publications, 2018)All-encompassing digitalization and the digital skills gap pressure the current school system to change. Accordingly, to ’digi-jump’, the Finnish National Curriculum 2014 (FNC-2014) adds programming to K-12 math. However, ...
Salminen, Jonna (University of Jyväskylä, 2015)Evidence of an association between poor early number skills and a high risk for later difficulties in mathematics manifests a need for both early identification of risk and effective prevention of difficulties. However, ...