Natural Number Game: Students’ activity using an interactive theorem prover - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

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.
Fichier principal
Vignette du fichier
TWG_14-Thoma-815.pdf (484.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04410448 , version 1 (22-01-2024)

Identifiants

  • HAL Id : hal-04410448 , version 1

Citer

Athina Thoma, Paola Iannone. Natural Number Game: Students’ activity using an interactive theorem prover. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Alfréd Rényi Institute of Mathematics; Eötvös Loránd University of Budapest, Jul 2023, Budapest, Hungary. ⟨hal-04410448⟩

Collections

TICE CERME13
18 Consultations
24 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More