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

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.

Mots clés

enseignement des mathématiques registres sémiotiques instrumentation assistant de preuve

Domaines

Environnements Informatiques pour l'Apprentissage Humain

Fichier principal

papier.pdf (234.1 Ko)

ProofWeb.png (75.84 Ko)

poster.pdf (857.01 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Emmanuel Beffara : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04096240

Soumis le : vendredi 12 mai 2023-15:19:33

Dernière modification le : lundi 9 décembre 2024-03:30:43

Dates et versions

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

Licence

Paternité

Identifiants

HAL Id : hal-04096240 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA TICE CNRS INRIA LIG FOURIER INSMI LIG_SIC_METAH INRIA2 LIG-MFML-SPADES TEL LIG_SIDCH

139 Consultations

88 Téléchargements