Détermination automatique des théorèmes-en-acte des élèves en algèbre. Le cas des équations et inéquations de degré 1 - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Détermination automatique des théorèmes-en-acte des élèves en algèbre. Le cas des équations et inéquations de degré 1

(1) , (1) , (2)
1
2
Hamid Chaachoua
Marilena Bittar
  • Function : Author

Abstract

Dans cet article, nous sommes intéressés à la détermination automatique de théorèmes-en-acte en algèbre. Ces théorèmes-en-acte ont été construits de façon abstraite, puis nous avons cherché à automatiser le mécanisme de leur diagnostic. Pour cela, nous avons utilisé le logiciel Aplusix comme support des productions des élèves qui permet d'enregistrer toutes les actions des élèves. Une base de règles correctes et erronées a été mise en place et un interpréteur de règles a été réalisé. Ils permettent de faire un diagnostic local des transformations des élèves. C'est à partir de ces diagnostics que nous avons déterminé les théorèmes-en-acte des élèves. Nous nous sommes appuyés sur les données des expérimentations que nous avions conduites, en France, avec des élèves de 14-15 ans, et au Brésil, avec des élèves de 13-14 ans.
Fichier principal
Vignette du fichier
2.pdf (225.42 Ko) Télécharger le fichier
Loading...

Dates and versions

hal-00005696 , version 1 (29-06-2005)

Identifiers

  • HAL Id : hal-00005696 , version 1

Cite

Hamid Chaachoua, Jean-François Nicaud, Marilena Bittar. Détermination automatique des théorèmes-en-acte des élèves en algèbre. Le cas des équations et inéquations de degré 1. 2005. ⟨hal-00005696⟩
251 View
836 Download

Share

Gmail Facebook Twitter LinkedIn More