Arithmetic, Logic, Syntax and MathCheck

Antti Valmari, Johanna Rantala

Abstract

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”.

Download


Paper Citation


in Harvard Style

Valmari A. and Rantala J. (2019). Arithmetic, Logic, Syntax and MathCheck.In Proceedings of the 11th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-367-4, pages 292-299. DOI: 10.5220/0007708902920299


in Bibtex Style

@conference{csedu19,
author={Antti Valmari and Johanna Rantala},
title={Arithmetic, Logic, Syntax and MathCheck},
booktitle={Proceedings of the 11th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2019},
pages={292-299},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007708902920299},
isbn={978-989-758-367-4},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Arithmetic, Logic, Syntax and MathCheck
SN - 978-989-758-367-4
AU - Valmari A.
AU - Rantala J.
PY - 2019
SP - 292
EP - 299
DO - 10.5220/0007708902920299