Fiche du document
10 juillet 2023
- handle: 10670/1.672xkd
- isbn: 978-963-7031-04-5
- hal: hal-04410448
info:eu-repo/semantics/OpenAccess
Sujets proches
School life Students--Education Pupils Student life and customsCiter ce document
Athina Thoma et al., « Natural Number Game: Students’ activity using an interactive theorem prover », HAL-SHS : sciences de l'éducation, ID : 10670/1.672xkd
Métriques
Partage / Export
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.