As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

This paper presents a series of basic computational problems that are mathematically and/or graphically appealing, and provides an idea of places one might go in trying to understand what is happening, integrating mathematics, computation, and graphics. The real point of this paper is to make a case, through those examples, for computation as an…

The COVID-19 pandemic, like past historical events such as the Vietnam War or 9/11, will shape a generation. Mathematics educators can seize this unprecedented opportunity to teach the principles of mathematical modeling in epidemiology. Compartmental epidemiological models, such as the SIR (susceptible-infected-recovered), are widely used by…

Natural language helps express mathematical thinking and contexts. Conventional mathematical notation (CMN) best suits expressions and equations. Each is essential; each also has limitations, especially for learners. Our research studies how programming can be a advantageous third language that can also help restore mathematical connections that…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

We present a Scratch task we designed and implemented for teaching and learning coordinates in a dynamic and engaging way. We use the 5Es framework to describe the students' interactions with the task and offer suggestions of how other teachers may adopt it to successfully implement Scratch tasks.

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…

The purpose of this study was to investigate how the 8th graders interpreted the equal sign in the pan balance activities they created on Scratch. Five eighth graders (4 girls and 1 boy) in Turkey participated in this study. Case study was employed as a qualitative research method. Data was gathered through the Scratch files created by the…

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…

The importance of computational thinking (CT) as a 21st-century skill for future generations has been a key consideration in the reforms of many national and regional educational systems. Much attention has been paid to integrating CT into the traditional subject classrooms. This paper describes a scoping review of learning tools for integrating…

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…

Simulation modeling is an effective tool for solving problems that cannot be explained analytically or when data cannot be collected. This is done by simulating the observed behavior of a problem under study using a computer program. In math education, this can develop knowledge and fundamental competencies of simulation modeling at a higher level…

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…