Actes du Colloque EMF 2025. La preuve en mathématiques : difficultés d'étudiants et apports potentiels des assistants de preuve. p. 667-676.
Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l'APMEP Télécharger
Auteurs : Sisco Clara ; Ouvrier-Buffet Cécile
Autre nom d'auteur : Ouvrier-Buffet Cécile. Dir.
Résumé
La rupture entre le secondaire et le supérieur est notamment marquée par un changement d’exigences et de rapport aux objets et processus de preuve, plus complexes et plus formels. Les recherches internationales sur les technologies dans les apprentissages en mathématiques en appellent à une analyse des usages et apports des assistants de preuve dans l’apprentissage de la preuve. Les premiers résultats d’une étude exploratoire sur les conceptions sur la preuve de 153 étudiants de première année d’université, et leur évolution après 10h de séances mobilisant des assistants de preuve sont présentés ici. Abstract The transition between secondary and tertiary education is characterized, in particular, by different requirements and a change in the relationship to concepts and proving processes, which are more complex and more formal. International research on technology in mathematics education calls for an analysis of the uses and the potentialities of proof assistants to proof learning. The first results of an exploratory study in which the proof’s conceptions of 153 first-year university students and their evolution after 10 hours of sessions with proof assistants are presented in this paper.
Notes
Chapitre des Actes du colloque EMF 2025
Données de publication
Éditeur UQAM , Montréal , Canada , 2025 Format A4, p. 667-676
Public visé chercheur, enseignant, formateur
Type chapitre d’un ouvrage Langue français Support internet
Classification