Natural Number Game: Students’ activity using an interactive theorem prover
Résumé
In this paper, we report aspects of mathematics undergraduate students’ activity when writing a mathematical proof in an interactive theorem prover. The participants, two first-year undergraduate mathematics students, were invited to a series of interviews and asked to engage with a learning resource, the Natural Number Game, designed to introduce and scaffold the use of the interactive theorem prover. The students were asked to prove statements in the Natural Number Game, share their screens and use the think aloud protocol. We use the instrumental approach to explore the schemes that students develop when they write a mathematical proof using the interactive theorem prover. Our analysis illustrates the two schemes (“verify step-by-step”, “verify multiple steps”) that these students seem to develop while using the interactive theorem prover.
Origine | Fichiers produits par l'(les) auteur(s) |
---|