Produire et lire des textes de démonstration. La démonstration dans les EIAO de géométrie. p. 215-224.
English Title : Computer-assisted proving in geometry. (ZDM/Mathdi)
Auteur : Py Dominique
Résumé
L’auteur aborde le domaine de l’Environnement Interactif Assisté par Ordinateur à partir des travaux de recherches effectués en informatique concernant la démonstration en géométrie et le traitement du langage naturel. Puis il décrit les logiciels Mentoniezh et ARRIA traitant tous les deux du texte de démonstration dans le contexte scolaire.
Notes
Chapitre de l’ouvrage Produire et lire des textes de démonstration.
Pistes d’utilisation en classe
Cette ressource peut être utilisée en formation initiale des enseignants.
Données de publication
Éditeur Ellipses Paris , 2001 Format 16,5 cm x 24 cm, p. 215-224 Index Bibliogr. p. 224-224
ISBN 2-7298-0675-X
Public visé enseignant, formateur Niveau 1re, 2de, 3e, 4e, 5e, 6e, collège, lycée, terminale Âge 11, 12, 13, 14, 15, 16, 17
Type chapitre d’un ouvrage Langue français Support papier
Classification