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…

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…

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…

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.

As has been the case in many countries around the world, the new Norwegian curriculum from 2020 included programming as part of mathematics education. However, little is known about how prospective teachers perceive this addition in regard to their developing professional identities. When the results from an electronic survey of 394 prospective…

The reasons for teaching programming in school are indeed manifold. Programming can for example be utilized as a vehicle for understanding and learning particular mathematical subject matter, or as a tool for solving mathematical problems. In this paper, however, we propose to utilize programming as a vehicle for developing mathematical…

In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

Computational thinking (CT) is becoming increasingly important as a learning content. Subject-integrated approaches aim to develop CT within other subjects like mathematics. The question is how exactly CT can be integrated and learned in mathematics classrooms. In a case study involving 12 sixth-grade learners, CT activities were explored that…

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…

In this paper we consider implications of the current world-wide inclusion of computational thinking in relation to children's development of algebraic thinking. Little is known about how newly developed visual programming environments such as Scratch could enhance early algebra learning. The study is based on examples of programming activities…

A Prolog program consists of a set of facts and rules rather than imperative statements, commonly used in most other programming languages. Therefore, the Prolog language is used to encode logic, from which the inference engine deduces logical conclusions. In this article, we argue that the use of the Prolog language can be useful to help students…

Mathematics achievement is positively associated with coding in the classroom. By making mathematical relationships visible to students as they code, teachers leverage rich connections between block-based computer programming and mathematical sense making. In this article, the authors describe strategies for adapting a Code.org lesson integrating…

As computer-science-for-all initiatives continue to grow, many schools are looking for ways to introduce computer science skills and thinking to elementary-age children. Some initiatives have focused on coding as its own endeavor, not integrated with other subjects like mathematics, science, or literacy. Increasingly, developers and researchers…

This article explores the features of students' reasoning and sense-making when computer programming and mathematics interact, specifically, using the exterior angle concept to make different regular polygons with Scratch as a programming tool. At the end of the 2019 spring term in a public elementary school, data were obtained from a pretest, a…

Aim/Purpose: This study seeks to present a learning model of discrete mathematics elements, elucidate the content of teaching, and validate the effectiveness of this learning in a digital education context. Background: Teaching discrete mathematics in the realm of digital education poses challenges, particularly in crafting the optimal model,…