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…

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

In this paper, I discuss undergraduate students' engagement in basic Python programming while solving combinatorial problems. Students solved tasks that were designed to involve programming, and they were encouraged to engage in activities of prediction and reflection. I provide data from two paired teaching experiments, and I outline how the task…

Participation of undergraduate students in research helps them nurture critical thinking, develop research skills, enhance self-confidence, and clarify their education or career paths. The curriculum is central to integrating teaching and research, and is a primary source for providing undergraduate research experience. This study designed a…

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

The purpose of this paper is to investigate students' engagement in computational thinking (CT) and programming with MATLAB when solving a mathematical task in a programming course at the undergraduate level. The data collection method is participant observation of three groups of three students presented with a mathematical task to solve. The…

Current developments in the statistics community suggest that modern statistics education should be structured holistically, that is, by allowing students to work with real data and to answer concrete statistical questions, but also by educating them about alternative frameworks, such as Bayesian inference. In this article, we describe how we…

In this paper, we discuss the Experimental Mathematics course taught at Valparaiso University since 2009. We focus on aspects of the course that facilitate students' abilities to ask and explore their own research questions.

This paper analyzed Scratch projects developed by undergraduate students. The sample consisted of 22 child development students (18 women and four men) in the 2018-2019 academic year. The study adopted an action research design within the scope of a course titled "Teaching Science and Mathematics in Preschool Education." The research was…

Early exposure to data science skills, such as relational databases, is essential for students in statistics as well as many other disciplines in an increasingly data driven society. The goal of the presented pedagogy is to introduce undergraduate students to fundamental database concepts and to illuminate the connection between these database…