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

48 fiches trouvées

Reponses 21 à 40

21	2001 Introduction à la logique.
22	2001 Produire et lire des textes de démonstration.
23	2001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
24	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.
25	2000 Déclic. Maths seconde.
26	2000 Hyperbole. Math 2e. Programme 2000.
27	1998 Décimale. Géométrie 4e.
28	1998 Démonstration en géométrie.
29	1998 Geometrix.
30	1997 Bulletin de l'APMEP. N° 411. p. 485-493. Graphique, démonstration et rigueur : quelques réflexions.
31	1997 Bulletin de l'APMEP. N° 412. p. 678-679. Graphiques.
32	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.
33	1994 PLOT. N° 67.
34	1994 PLOT. N° 67. p. 9-11. DEFI, un logiciel de démonstration en géométrie.
35	1994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.
36	1994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.
37	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.
38	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.
39	1993 Repères-IREM. N° 10.
40	1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.