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…

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…

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…

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

This paper aims at using a Use-Modify-Create approach to explore students' mathematical problem solving by means of computational thinking (CT) and programming activities. The data collection method is participant observation, in which the researcher also has the role as teacher, guiding the group activities. In our study, two groups of students…

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

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…

This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

Undergraduate mathematics education research focused on Introduction to Proofs courses has gained traction as more students are experiencing challenges in their proof-based courses. While studies have analyzed the teaching and learning of proofs, there is a growing need for research in students' understanding of mathematical logic and set theory…

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…

This study adopts a holistic single-case design to explain the task design processes of mathematics student teachers (MSTs) regarding History, Theory, Technology, and Modeling (HTTM). A criterion sampling method was used to select nine MSTs who had successfully completed "algorithms and programming" course. Video analyses, written answer…

Traditionally, various meanings of "10" are systematically ignored in early childhood curriculum and children's understanding of numbers is restricted within the solitary mapping between the symbol "10" and quantity concept of "ten." This may be problematic for other ways that mathematics is used, both in modern life…

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 paper presents a case study that is part of a research studying how university statistics teachers integrate digital tools in their practice. The case study is of a teacher who claims to follow constructionist ideas for her teaching of statistics, using the R programming language. The teacher developed a series of activities with R, aiming to…