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…

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.

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…

Games are an everyday part of most students' lives. Games engage students and provide opportunities to foster perseverance in problem solving. When implemented in the mathematics classroom, game-based learning can have similar positive benefits. Students can enjoy mathematics and develop important life skills that will help them in their current…

Robot toys can be used to promote STEM subjects, particularly coding and mathematics. The lesson described in this article illustrates how a robot toy was used with a number line to explore equality and missing addends in Year 1. The lesson progression models how activities can be sequenced to build on developing understandings while supporting…

Computer programming and mathematical algorithms are natural partners in the development of programming skills, logical thought, and a deeper understanding of mathematical concepts. We present the details of a course which blends the two at the sophomore level. This course is required of our mathematics majors, but attracts mathematics minors from…

Translation by a vector in the coordinate plane is first introduced in precalculus and connects to the basic theory of vector spaces in linear algebra. In this article, the authors explore the topic of collision detection in which the idea of a translation vector plays a significant role. Because collision detection has various applications in…

Probability is generally considered one of the most challenging areas to teach in mathematics education due to its intricate nature. However, the simulation-based teaching method can increase students' accessibility significantly to the probability problems because it enables students to resolve the problems with minimal mathematical skills. By…

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…

The goal of this paper is to promote the use of R and Python as high-level, free, open-source programming environments that can be used as a computational and visualization tool for teaching differential equations. Both R and Python also allow for creating reproducible dynamic documents using Markdown, which combines live code, plain text, and…

Simulation is an effective tool for analyzing probability models as well as for facilitating understanding of concepts in probability and statistics. Unfortunately, implementing a simulation from scratch often requires users to think about programming issues that are not relevant to the simulation itself. We have developed a Python package called…

We discuss teaching and learning situations that surfaced when computer programming and mathematics were brought together in a course where students write computer code to explore mathematics problems. Combining programming and mathematics creates a rich ecosystem which, on top of traditional mathematics activities (writing solutions, proofs,…