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…

Epidemiological models have enhanced relevance because of the COVID-19 pandemic. In this note, we emphasize visual tools that can be part of a learning module geared to teaching the SIR epidemiological model, suitable for advanced undergraduates or beginning graduate students in disciplines where the level of prior mathematical knowledge of…

This paper describes an investigation looking at the underlying mathematics of poker machines. The aim of the investigation is for students to get an appreciation of how poker machines are designed to ensure that in the long-term players will inevitably lose when playing. The first part of this paper describes how students can model a simple poker…

Python programming is widely employed in educational institutions worldwide. Within the "Merdeka Belajar" curriculum context, this programming is recognized as a suitable vehicle for mathematics instruction, significantly influencing students' motivation and learning outcomes, particularly following periods of educational hiatus. This…

The objective of this research is to study the "Scratch" programming language as a didactic tool to teach functions. The introduction of didactic tools allowing comprehension in simple and attractive ways is required. Given the traditional teaching/learning system, it is necessary to organize participatory and collaborative dynamic…

The GeomBot is a drawing robot that combines the well-known strengths and opportunities offered by Scratch with those of Papert's original robotic drawing-turtle. In this study we look at the GeomBot as a physical programmable artifact around which action research with a group of teachers and a researcher was carried out with the aim of designing,…

The goal of this paper is to explore dynamic geometry environments (DGE) as a type of computer programming language. Using projects created by secondary students in one particular DGE, we analyse the extent to which the various aspects of computational thinking--including both ways of doing things and particular concepts--were evident in their…

This quantitative research aims to analyze the design and implementation of the Web Application on the educational process of the Linear Function (WALF) considering the TPACK (Technological Pedagogical and Content Knowledge) model and data science. The sample consists of 45 students who studied the Basic Math course at a Mexican university during…

In primary education, a variety of teaching methods, such as enhanced and discovery learning, have had a significant influence on student achievement, particularly in mathematics. Several studies have discussed the positive effects of the appropriate use of technology in the classroom on student achievement. The main purpose of the current study…

The focus on Computer Science Education at the K-12 level has been increasingly highlighted due to today's need for a populace with computational thinking skills, in addition to the expansion of careers related to computing and computer science. Programming helps facilitate students' examination of the nature of a problem and helps students to…

This paper presents a way of utilizing interdisciplinary relations between two educational branches, Mathematics and its applications and Information technologies (ICT) in integrated learning by the use of the Scratch programming language. The authors also present how they understand the concept of integrated learning and why they have chosen to…

The current quantitative study, a naturalistic field experiment, was conducted in a public primary school in Soweto, Johannesburg, with the objective to examine how children's achievement on four assessments at the beginning of Grade R, namely their numeracy, their mathematics-specific vocabulary, their executive functions, and their logical…

The potential benefits from the introduction of programming environments such as "Scratch" for learning mathematics has reactivated research in this area. Nonetheless, there are few studies which attempt to analyse their influence at the stage of Primary Education. We present the results of a quasi-experimental piece of research with…

The current study investigates teachers' conception and reflection of computer programming from scratch in terms of technological and pedagogical standpoint. Mixed research approaches typically achievement tests and interviews were used to collect quantitative and qualitative data respectively. A total of twenty-one Mathematics and Science…

This study examined the effects of students' construction of computer-based educational games, using Scratch, on their mathematical equation-solving performance and their attitudes towards learning mathematics with the assistance of technology. A one-group, pretest-posttest quasi-experimental study design, was adopted. A total of 89 seventh grade…