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 purpose of this note is to describe a classroom activity that can be used in introductory Operations Research courses. It consists of modelling a one-dimensional puzzle using mathematical programming to produce glider models. The exercise is designed to motivate the students in solving a problem with the opportunity of producing by themselves…

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 article considers starting with an existing SIMIODE modeling scenario [Winkel, B. (2015). 1-031-CoolIt-ModelingScenario. SIMIODE (Version 2.0). "QUBES Educational Resources." https://doi.org/10.25334/3WG8-EC31] that develops Newton's law of cooling by considering data on the cooling of a beaker of water in a room, and expanding upon…

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 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…

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;…

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…

The COVID-19 pandemic prompted a shift in K-12 educational delivery from primarily in-person classroom instruction to remote learning. Developing broadcast instruction is one way to provide learners who experience barriers to contemporary forms of remote learning, which are typically provided over the internet, a way to access quality mathematics…

During the COVID-19 pandemic, the teaching of programming for undergraduate mathematicians was moved online. This was delivered asynchronously, with students working through notes and exercises and asking for help from staff via online messages as needed. Staff delivery time was redirected from content delivery into a formal system of formative…

The article focuses on study visits from the perspective of mathematical project work. Project work means a systematic organizing method of teaching that is based around a project. The research questions are the kinds of study visits students made, the meaning(s) of those visits, the mathematical content in the visits and how such study visits…

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 instrumental approach is a useful theoretical lens for understanding students' learning processes with a main focus on the transformation of an artefact (a human design for a goal-directed activity) into a meaningful instrument (i.e. an artefact and schemes developed by the student). In this paper, we articulate the instrumental approach for…

This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received…

This article attempts to identify the kind of arguments that lower secondary school-level pupils use when they apply programming to solve a mathematical problem. By analyzing the data from one group of three pupils working together with Processing (Processing is a Java based tool primarily to learn programme visual effects supported and…