Portal de Periódicos da CAPES

Analyse et prise en compte des contraintes didactiques et informatiques dans la conception et le développement du micromonde de preuve Cabri-Euclide.

1999; Volume: 6; Issue: 2 Linguagem: Francês

10.3406/stice.1999.1425

2613-2850

Vanda Luengo,

Mathematics Education and Teaching Techniques

Nous présentons dans cet article les contraintes didactiques et informatiques dans le développement d'un logiciel de preuve en géométrie : Cabri-Euclide. La contrainte de départ est de produire un logiciel de construction de la preuve sans avoir des solutions, à propos du problème préalablement construites. Cabri-Euclide est conçu comme un micromonde, l'essentiel est ainsi dans le fait que la tâche dévolue au système est de vérifier une cohérence locale plutôt que d'affecter des déductions automatiques globales.