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

30 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	2007 Géométrix. Version 3.0.0.5.t.
8	2006 Mathematice. N° 2. GéométriX.
9	2004 Les cahiers de l'IREM d'Orléans. N° 2. Du raisonnement à la démonstration au collège.
10	2003 Intégration des Technologies dans l'Enseignement des Mathématiques - Ecole, Collège, Lycée, Université, IUFM.
11	2001 Environnements interactifs d'apprentissage et démonstration en géométrie.
12	2001 Introduction à la logique.
13	2001 Produire et lire des textes de démonstration.
14	2001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
15	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.
16	1998 Démonstration en géométrie.
17	1998 Geometrix.
18	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.
19	1994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.
20	1994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.