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…

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…

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

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…

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 article is based on the experiences of two statistics professors who have taught students to write and effectively utilize code-based software in a college-level introductory statistics course. Advantages of using software and code-based software in this context are discussed. Suggestions are made on how to ease students into using code with…

The goal of this paper is to promote computational thinking among mathematics, engineering, science and technology students, through hands-on computer experiments. These activities have the potential to empower students to learn, create and invent with technology, and they engage computational thinking through simulations, visualizations and data…