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…

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…