Instrumentation de l'association de registres sémiotiques dans un assistant de preuve - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

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⟩
68 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More