utilisation d’un logiciel d’aide à la démonstration

Il y a 27 résultats avec cette recherche.

1992 Recherches en didactique des mathématiques. Vol. 12/2-3. p. 271-318. Aide logicielle à la résolution de problèmes avec preuve : Des séquences didactiques pour l’enseignement de la démonstration.

Auteur : Ag Almouloud Saddo
1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 113-138. Reconnaissance de plan pour la modélisation de l’élève. Le projet Mentoniezh.

Auteur : Py Dominique
2001 Produire et lire des textes de démonstration.

Auteurs : Barbin Evelyne. Dir. ; Duval Raymond. Dir. ; Giorgiutti Italo. Dir. ; Houdebine Jean. Dir. ; Laborde Colette. Dir. ; Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
2016 Mathématice. N° 48. Géotortue : expérimentation en 5ème et pistes à explorer.

Auteur : Pavageau Julien
2015 Mathématice. N° 47. Construire avec GéométriX 4.1 en CM2.

Auteurs : Dulout Sonia ; Guénard Cécile ; Gressier Jacques
2016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.

Auteur : Gressier Jacques
1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d’aide au raisonnement.

Auteur : Bernat Philippe
1993 Repères-IREM. N° 10.

Auteur : Repères-IREM Comité de rédaction. Dir.
2001 Introduction à la logique.

Auteurs : David René ; Nour Karim ; Raffalli Christophe
2001 Environnements interactifs d’apprentissage et démonstration en géométrie.

Auteur : Py Dominique
1989 Annales de didactique et de sciences cognitives. V. 2. p. 89-109. Réflexions sur les logiciels d’aide à la démonstration en géométrie.

Auteurs : Guin Dominique ; IREM de Strasbourg Groupe Intelligence Artificielle
1989 Annales de didactique et de sciences cognitives. V. 2.

Auteurs : Kuzniak Alain. Dir. ; Pluvinage François. Dir.
2003 Intégration des Technologies dans l’Enseignement des Mathématiques – Ecole, Collège, Lycée, Université, IUFM.

Auteurs : Lagrange Jean-Baptiste. Dir. ; Artigue Michèle. Dir. ; Guin Dominique. Dir. ; Laborde Colette. Dir. ; Lenne Dominique. Dir. ; Trouche Luc. Dir. ; Vincent Jean. Collab. ; Commission inter-IREM Informatique et mathématiques. Ed. ; IUFM de Reims ERECA. Ed.
1997 Les Maths en collège et en lycée. Quelques pistes pour une utilisation de l’informatique dans l’enseignement des mathématiques. p. 60-71.

Auteur : Bouvatier Chantal
1992 L’ordinateur, outil d’aide à la démonstration et au traitement de données didactiques Mathématiques et applications.

Auteur : Ag Almouloud Saddo
1994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.

Auteurs : Balacheff Nicolas ; Vivet Martial ; Balacheff Nicolas. Dir.
2009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.

Auteur : Faucheu Hugues
2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.

Auteur : Faucheu Hugues
2006 Mathematice. N° 2. GéométriX.

Auteur : Gressier Jacques
2004 Les cahiers de l’IREM d’Orléans. N° 2. Du raisonnement à la démonstration au collège.

Auteurs : IREM d'Orléans Groupe TICE au Collège ; Agnez Georges ; Aracil Henri ; Lebreton Jean-Claude ; Paillet Vincent ; Petiot Nicolas ; Van den Boom Isabelle
1994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.

Auteur : Bernat Philippe
1994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.

Auteur : Py Dominique
1992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.

Auteurs : Py Dominique ; El Gass Bahia
2001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.

Auteur : Py Dominique