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…

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…

The growing use of programming in mathematics classrooms presents a challenge linked to implementation in general and task design in particular. This article presents design ideas for mathematical problems incorporating programming in which the focus remains mainly on learning mathematics and less on learning programming. The article starts by…

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…

Physical experiments in classrooms have many benefits for student learning, including increased student interest, participation and knowledge retention. While experiments are common in engineering and physics classes, they are seldom used in first-year calculus, where the focus is on solving problems analytically and, occasionally, numerically. In…

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…

As computational thinking (CT) is new to teachers, they need support on how CT integration will work. This study examines the use of a hypothetical learning trajectory (HLT) to support teachers in integrating computational thinking into mathematics lessons utilizing GeoGebra. By employing the educational design research (EDR) methodology, the…

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…

We report on a case study of eight grade 5 to 6 students (ages 12-14) involved in a three-day "digital-making summer camp" focused on mathematical problem-solving through block-based programming combined with programmable electronics. Data analysis focused on the computational thinking (CT), mathematics, and problem-solving challenges…

In this paper, we introduce novel instructional approaches to engage students in using modelling with data to motivate and teach differential equations. Specifically, we introduce a pedagogical framework that will execute instructional modules to teach different solution techniques for differential equations through repositories and notebook…