This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received…

Due to increased need of professionals on the future labour market with competence in programming, many countries have integrated programming in kindergarten to grade 12 (K-12) education. In 2017, programming was integrated in Swedish primary and secondary school curriculum and the courses of Mathematics and Technology. Research has highlighted…

Internationally mathematical modeling is garnering more attention for the benefits associated with it. Mathematical modeling can develop students' communication skills and the ability to demonstrate understanding through different representations. With the increased attention on mathematical modeling, there is a need for more curricula to be…

This study examined what factors might have a positive impact on students' learning outcomes in mathematical understanding and computational thinking skills. Specifically, whether the proposed instructional design combining computational perspectives and an embodied approach in mathematics learning improves (a) mathematics learning, (b)…

The aim of this study is to investigate the effectiveness of computer-based/assisted teaching method using ISETL [Interactive SET Language] programming language on students' understanding of subgroup and group concepts. The data was collected from a group of students by means of written assessments and clinical interviews. Analysis of student's…

This program was developed and implemented to promote higher-level thinking skills and problem-solving skills and to strengthen the understanding of mathematical concepts in second grade students through the use of the Logo programming language. The objectives for this study were that 70 percent of the target students should demonstrate the basic…