Authors: Antti Valmari and Johanna Rantala

Affiliation: Faculty of Information Technology, University of Jyväskylä, Jyväskylä and Finland

ISBN: 978-989-758-367-4

ISSN: 2184-5026

Keyword(s): Computer-aided Education, Mathematics Education, Computer Science Education.

Related Ontology Subjects/Areas/Topics: Computer-Supported Education ; e-Learning ; e-Learning Hardware and Software

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 “fals e” and “true”, it uses a third truth value “undefined”. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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, ISSN 2184-5026, pages 292-299. DOI: 10.5220/0007708902920299

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,},


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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.