Liste fiches - Publimath

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

Il y a 25 résultats pour cette recherche

2016 Mathématice. N° 48. Démontrer avec Géométrix 4.1.
Auteur : Gressier Jacques
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
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
2009 Mathématice. N° 14. Articles déjà parus dans MathemaTICE à propos du travail collaboratif.
Auteur : Kuntz Gérard
2006 Mathématice. 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
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.
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
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.
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.
Auteur : Simon André
2001 Environnements interactifs d'apprentissage et démonstration en géométrie.
Auteur : Py Dominique
2001 Produire et lire des textes de démonstration. Le logiciel Mentoniezh. p. 249-254.
Auteur : Py Dominique
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
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
1994 PLOT. N° 68. p. 14-16. Une aide au raisonnement : le logiciel CHYPRE.
Auteur : Bernat Philippe
1994 Recherches en didactique des mathématiques. Vol. 14/1-2. Didactique et intelligence artificielle.
Auteurs : Balacheff Nicolas ; Vivet Martial ; Balacheff Nicolas. Dir.
1994 PLOT. N° 68. p. 20-24. Mentoniezh : un tuteur pour la résolution de problèmes en géométrie.
Auteur : Py Dominique
1993 Repères-IREM. N° 10. p. 25-46. CHYPRE : un logiciel d'aide au raisonnement.
Auteur : Bernat Philippe
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
1992 L'ordinateur, outil d'aide à la démonstration et au traitement de données didactiques Mathématiques et applications.
Auteur : Ag Almouloud Saddo
1992 Petit x. N° 30. p. 63-72. Expérimentation du tutoriel Mentoniezh en classe de quatrième.
Auteurs : Py Dominique ; El Gass Bahia
1990 Ecriture automatique de démonstrations en géométrie.
Auteurs : Guillot Philippe ; Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude
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