Analyse et prise en compte des contraintes didactiques et informatiques dans la conception et le développement du micromonde de preuve Cabri-Euclide - Archive ouverte HAL Access content directly
Journal Articles Sciences et Techniques Educatives Year : 1999

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

(1)
1
Vanda Luengo

Abstract

This paper shows the didactical and computational constraints in the design of software for mathematical proof in geometry: Cabri-Euclide. The earliest constraint is to produce software for mathematical proof without has the previous solutions concerning the problem. Cabri-Euclide is a microworld, Thus, the essential is that the system have to verify a local coherence, and not to designate a global automatic deduction.
Fichier principal
Vignette du fichier
Luengo_1999.pdf (201.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00190080 , version 1 (23-11-2007)

Identifiers

  • HAL Id : hal-00190080 , version 1

Cite

Vanda Luengo. Analyse et prise en compte des contraintes didactiques et informatiques dans la conception et le développement du micromonde de preuve Cabri-Euclide. Sciences et Techniques Educatives, 1999, 6 (2), pp.27. ⟨hal-00190080⟩
161 View
319 Download

Share

Gmail Facebook Twitter LinkedIn More