Instrumentation de l'association de registres sémiotiques dans un assistant de preuve - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Instrumentation de l'association de registres sémiotiques dans un assistant de preuve

Abstract

Les assistants de preuve sont des outils informatiques conçus pour accompagner l'écriture de démonstrations mathématiques formalisées et leur utilisation pour l'enseignement de la preuve fait l'objet de diverses expérimentations en université. Leur mode d'interaction se limite habituellement au registre textuel, à l'opposé de la pratique courante sur papier qui exploite souvent différents registres visuels. Ce travail propose la conception et l'évaluation d'un prototype d'interface qui permette d'associer des registres textuels et visuels pour améliorer la flexibilité de l'outil et faciliter l'apprentissage de la preuve en mathématiques.
Fichier principal
Vignette du fichier
papier.pdf (234.1 Ko) Télécharger le fichier
ProofWeb.png (75.84 Ko) Télécharger le fichier
poster.pdf (857.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04096240 , version 1 (12-05-2023)

Licence

Attribution

Identifiers

  • HAL Id : hal-04096240 , version 1

Cite

Emmanuel Beffara, Martin Bodin, Nadine Mandran, Rémi Molinier. Instrumentation de l'association de registres sémiotiques dans un assistant de preuve. EIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5. ⟨hal-04096240⟩
68 View
54 Download

Share

Gmail Facebook X LinkedIn More