Aide logicielle à la résolution de problèmes avec preuve : des séquences didactiques pour l’enseignement de la démonstration
Résumé Sans entrer dans les débats ouverts sur le statut et la fonction de la démonstration dans l’enseignement des mathématiques, nous présentons ici des séquences didactiques en 4ème (13-14 ans) où le micro-ordinateur joue le rôle de pilote et de tuteur dans la résolution de problèmes de géométrie nécessitant un raisonnement déductif. Les analyses didactiques … Lire la suite
