Communication Dans Un Congrès Année : 2024

Students' perceptions of a Proof Assistant, in an introduction to proof course, in the first year of University mathematics

Résumé

We have introduced a proof assistant, Edukera, at University in a mathematics course aiming at teaching proof. We investigate the perceptions of the students of this proof assistant, based on data gathered through questionnaires. We are interested in the effects of using a proof assistant on learning proof, but also on the utility, usability, and acceptability of such an interactive learning environment. Our results reinforce the idea that proof assistants can contribute to the learning of proof, and bring recommendations for the introduction of proof assistants in teaching settings.

Fichier principal
Vignette du fichier
INDRUM2024_MODESTE_prep_for_proceedings_clean.pdf (536.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04944241 , version 1 (13-02-2025)

Licence

Identifiants

  • HAL Id : hal-04944241 , version 1

Citer

Simon Modeste. Students' perceptions of a Proof Assistant, in an introduction to proof course, in the first year of University mathematics. Fifth conference of the International Network for Didactic Research in University Mathematics, Centre de Recerca Matematica [CRM], Jun 2024, Barcelona, Spain. ⟨hal-04944241⟩
124 Consultations
153 Téléchargements

Partager

  • More