Accueil Publimath  Aide à la recherche  Requête : "utilisation d'un logiciel d'aide à la démonstration"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
27 fiches trouvées Réponses 1 à 20 Suivant Fin

12016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.Ressource en ligne
22016 Mathématice. N° 48. Géotortue : expérimentation en 5ème et pistes à explorer.Ressource en ligne
32015 Mathématice. N° 47. Construire avec GéométriX 4.1 en CM2.Ressource en ligne
42009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.Ressource en ligne
52009 Mathématice. N° 14. Articles déjà parus dans MathemaTICE à propos du travail collaboratif.Ressource en ligne
62009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.Ressource en ligne
72006 Mathematice. N° 2. GéométriX.Ressource en ligne
82004 Les cahiers de l'IREM d'Orléans. N° 2. Du raisonnement à la démonstration au collège.
92003 Intégration des Technologies dans l'Enseignement des Mathématiques - Ecole, Collège, Lycée, Université, IUFM.
102001 Environnements interactifs d'apprentissage et démonstration en géométrie.Ressource en ligne
112001 Introduction à la logique.
122001 Produire et lire des textes de démonstration.
132001 Produire et lire des textes de démonstration. Premier pas : un outil d'apprentissage et de révélation des erreurs. p. 241-248.
142001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
151997 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.
161994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.
171994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.
181994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.
191994 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.Ressource en ligne
201993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.Ressource en ligne