Aide à la recherche   Requête : "utilisation d'un logiciel d'aide à la démonstration"

27 fiches trouvées

Reponses 1 à 20

1	2016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.
2	2016 Mathématice. N° 48. Géotortue : expérimentation en 5ème et pistes à explorer.
3	2015 Mathématice. N° 47. Construire avec GéométriX 4.1 en CM2.
4	2009 Mathématice. N° 14. Articles déjà parus dans MathemaTICE à propos du travail collaboratif.
5	2009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.
6	2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.
7	2006 Mathematice. N° 2. GéométriX.
8	2004 Les cahiers de l'IREM d'Orléans. N° 2. Du raisonnement à la démonstration au collège.
9	2003 Intégration des Technologies dans l'Enseignement des Mathématiques - Ecole, Collège, Lycée, Université, IUFM.
10	2001 Environnements interactifs d'apprentissage et démonstration en géométrie.
11	2001 Introduction à la logique.
12	2001 Produire et lire des textes de démonstration.
13	2001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
14	2001 Produire et lire des textes de démonstration. Premier pas : un outil d'apprentissage et de révélation des erreurs. p. 241-248.
15	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.
16	1994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.
17	1994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.
18	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.
19	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.
20	1993 Repères-IREM. N° 10.