A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Nicolas BALACHEFF |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
CABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation / Vanda LUENGO (1997)
Titre : CABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation : principes didactiques et informatiques. Réalisation Type de document : texte imprimé Auteurs : Vanda LUENGO, Auteur ; Nicolas BALACHEFF, Directeur de thèse Editeur : Strasbourg : Université Louis Pasteur Année de publication : 1997 Importance : 250 p. Langues : Français Mots-clés : didactique argumentation preuve réfutation agent rationnel géométrie informatique Cabri-géomètre Cabri-Euclide Résumé : Nous avons spécifié et développé un environnement informatique d'apprentissage humain sur Cabri-géomètre, qui est basé sur des formalisations du système didactique. En particulier, il est conçu comme élément d'un milieu antagoniste qui a pour objectif de permettre l'apprentissage de la preuve dans un cadre de résolution de problèmes. Nous proposons un modèle basé sur les principes d'un micromonde de preuve permettant à l'élève d'interagir avec un agent rationnel auquel il exprime les connaissances qu'il souhaite utiliser afin de résoudre un problème et de construire une preuve. La fonction de l'agent rationnel est d'assurer les rétroactions qui soient liées à la cohérence propre au raisonnement de l'élève et non à une conception a priori de ce que devrait être la résolution. Pour cela, nous nous basons sur la théorie d'agents semi-empiriques. Une des caractéristiques de notre système, en tant qu'élément du milieu antagoniste, est le fait qu'il réfute la démarche de l'utilisateur quand cela est possible pour l'environnement. L'élève exprime sa connaissance sous la forme d'énoncés. La relation élémentaire entre les énoncés est le modus ponens. Pour un problème de géométrie donné, l'élève pourra construire la figure correspondante dans Cabri-géomètre et produire les énoncés qu'il souhaite dans le micromonde de preuve. L'agent rationnel peut analyser la structure de l'ensemble des énoncés et diagnostiquer s'il a ou non la structure d'une preuve relativement à un énoncé donné comme conclusion. De plus, il peut évaluer un énoncé dans le cadre de la figure construite dans Cabri-géomètre et éventuellement le réfuter en produisant le dessin d'un contre-exemple. Il est à noter que les compétences de l'agent rationnel sont limitées à l'analyse de raisonnements directs simples (excluant donc, dans cette première approche, le raisonnement par l'absurde, par cas, ou par récurrence). Note de contenu : bibliogr. CABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation : principes didactiques et informatiques. Réalisation [texte imprimé] / Vanda LUENGO, Auteur ; Nicolas BALACHEFF, Directeur de thèse . - Strasbourg : Université Louis Pasteur, 1997 . - 250 p.
Langues : Français
Mots-clés : didactique argumentation preuve réfutation agent rationnel géométrie informatique Cabri-géomètre Cabri-Euclide Résumé : Nous avons spécifié et développé un environnement informatique d'apprentissage humain sur Cabri-géomètre, qui est basé sur des formalisations du système didactique. En particulier, il est conçu comme élément d'un milieu antagoniste qui a pour objectif de permettre l'apprentissage de la preuve dans un cadre de résolution de problèmes. Nous proposons un modèle basé sur les principes d'un micromonde de preuve permettant à l'élève d'interagir avec un agent rationnel auquel il exprime les connaissances qu'il souhaite utiliser afin de résoudre un problème et de construire une preuve. La fonction de l'agent rationnel est d'assurer les rétroactions qui soient liées à la cohérence propre au raisonnement de l'élève et non à une conception a priori de ce que devrait être la résolution. Pour cela, nous nous basons sur la théorie d'agents semi-empiriques. Une des caractéristiques de notre système, en tant qu'élément du milieu antagoniste, est le fait qu'il réfute la démarche de l'utilisateur quand cela est possible pour l'environnement. L'élève exprime sa connaissance sous la forme d'énoncés. La relation élémentaire entre les énoncés est le modus ponens. Pour un problème de géométrie donné, l'élève pourra construire la figure correspondante dans Cabri-géomètre et produire les énoncés qu'il souhaite dans le micromonde de preuve. L'agent rationnel peut analyser la structure de l'ensemble des énoncés et diagnostiquer s'il a ou non la structure d'une preuve relativement à un énoncé donné comme conclusion. De plus, il peut évaluer un énoncé dans le cadre de la figure construite dans Cabri-géomètre et éventuellement le réfuter en produisant le dessin d'un contre-exemple. Il est à noter que les compétences de l'agent rationnel sont limitées à l'analyse de raisonnements directs simples (excluant donc, dans cette première approche, le raisonnement par l'absurde, par cas, ou par récurrence). Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1279 T/IREM/LUE Livre IREM Salle Exclu du prêt Une étude des processus de preuve en mathématique chez des élèves de Collège. Volume I / Nicolas BALACHEFF (1988)
![]()
Titre : Une étude des processus de preuve en mathématique chez des élèves de Collège. Volume I : Volume I Type de document : texte imprimé Auteurs : Nicolas BALACHEFF, Auteur ; Charles PAYAN, Directeur de thèse Editeur : St Martin d'Hères : Université Joseph Fourier - Grenoble I Année de publication : 1988 Importance : 280 p. Langues : Français Mots-clés : didactique preuve démonstration argumentation contre exemple Résumé : Cette étude porte sur les problèmes d'apprentissage de la démonstration en mathématique dans le premier cycle de l'enseignement secondaire. Le cadre théorique a été élaboré à partir de la théorie des situations didactiques au sens de Brousseau et du modèle de Lokatos de la didactique des preuves et des réfutations. Note de contenu : index, bibliogr. En ligne : http://tel.archives-ouvertes.fr/docs/00/32/64/26/PDF/Balacheff.Nicolas_1988_thes [...] Une étude des processus de preuve en mathématique chez des élèves de Collège. Volume I : Volume I [texte imprimé] / Nicolas BALACHEFF, Auteur ; Charles PAYAN, Directeur de thèse . - St Martin d'Hères : Université Joseph Fourier - Grenoble I, 1988 . - 280 p.
Langues : Français
Mots-clés : didactique preuve démonstration argumentation contre exemple Résumé : Cette étude porte sur les problèmes d'apprentissage de la démonstration en mathématique dans le premier cycle de l'enseignement secondaire. Le cadre théorique a été élaboré à partir de la théorie des situations didactiques au sens de Brousseau et du modèle de Lokatos de la didactique des preuves et des réfutations. Note de contenu : index, bibliogr. En ligne : http://tel.archives-ouvertes.fr/docs/00/32/64/26/PDF/Balacheff.Nicolas_1988_thes [...] Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1239 T/IREM/BAL-I Livre IREM Salle Exclu du prêt Une étude des processus de preuve en mathématique chez des élèves de Collège. Volume II / Nicolas BALACHEFF (1988)
![]()
Titre : Une étude des processus de preuve en mathématique chez des élèves de Collège. Volume II Type de document : texte imprimé Auteurs : Nicolas BALACHEFF, Auteur ; Charles PAYAN, Directeur de thèse Editeur : St Martin d'Hères : Université Joseph Fourier - Grenoble I Année de publication : 1988 Langues : Français Mots-clés : didactique preuve démonstration argumentation contre exemple Résumé : Cette étude porte sur les problèmes d'apprentissage de la démonstration en mathématique dans le premier cycle de l'enseignement secondaire. Le cadre théorique a été élaboré à partir de la théorie des situations didactiques au sens de Brousseau et du modèle de Lokatos de la didactique des preuves et des réfutations. Note de contenu : index, bibliogr. En ligne : http://tel.archives-ouvertes.fr/docs/00/32/64/26/PDF/Balacheff.Nicolas_1988_thes [...] Une étude des processus de preuve en mathématique chez des élèves de Collège. Volume II [texte imprimé] / Nicolas BALACHEFF, Auteur ; Charles PAYAN, Directeur de thèse . - St Martin d'Hères : Université Joseph Fourier - Grenoble I, 1988.
Langues : Français
Mots-clés : didactique preuve démonstration argumentation contre exemple Résumé : Cette étude porte sur les problèmes d'apprentissage de la démonstration en mathématique dans le premier cycle de l'enseignement secondaire. Le cadre théorique a été élaboré à partir de la théorie des situations didactiques au sens de Brousseau et du modèle de Lokatos de la didactique des preuves et des réfutations. Note de contenu : index, bibliogr. En ligne : http://tel.archives-ouvertes.fr/docs/00/32/64/26/PDF/Balacheff.Nicolas_1988_thes [...] Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1239II T/IREM/BAL-II Livre IREM Salle Manquant
Exclu du prêtFormation mathématique des instituteurs, avec ouverture sur l'informatique / Nicolas BALACHEFF (1981)
Titre : Formation mathématique des instituteurs, avec ouverture sur l'informatique Type de document : texte imprimé Auteurs : Nicolas BALACHEFF, Auteur ; Jean KUNTZMANN, Auteur ; Colette LABORDE, Auteur Editeur : Paris : CEDIC Année de publication : 1981 Collection : Formation des maîtres en mathématiques, ISSN 0337-3290 Importance : 315 p. ISBN/ISSN/EAN : 978-2-7124-0162-7 Langues : Français Mots-clés : formation continue informatique science de l'éducation Note de contenu : bibliogr., index Formation mathématique des instituteurs, avec ouverture sur l'informatique [texte imprimé] / Nicolas BALACHEFF, Auteur ; Jean KUNTZMANN, Auteur ; Colette LABORDE, Auteur . - Paris : CEDIC, 1981 . - 315 p.. - (Formation des maîtres en mathématiques, ISSN 0337-3290) .
ISBN : 978-2-7124-0162-7
Langues : Français
Mots-clés : formation continue informatique science de l'éducation Note de contenu : bibliogr., index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1855 BAL/IREM/ScE Livre IREM Salle Disponible Theory of didactical situations in mathematics / Guy BROUSSEAU (Cop. 1997)
Titre : Theory of didactical situations in mathematics : didactique des Mathématiques, 1970–1990 Type de document : texte imprimé Auteurs : Guy BROUSSEAU, Auteur ; Nicolas BALACHEFF, Traducteur Editeur : Dordrecht : Springer Science Année de publication : Cop. 1997 Collection : Mathematics education library, ISSN 0924-4921 num. 19 Importance : XIV-304 p. Présentation : ill. ISBN/ISSN/EAN : 978-90-481-4842-4 Langues : Anglais Langues originales : Français Mots-clés : didactique des mathématiques enseignement des mathématiques Note de contenu : index, références Theory of didactical situations in mathematics : didactique des Mathématiques, 1970–1990 [texte imprimé] / Guy BROUSSEAU, Auteur ; Nicolas BALACHEFF, Traducteur . - Dordrecht : Springer Science, Cop. 1997 . - XIV-304 p. : ill.. - (Mathematics education library, ISSN 0924-4921; 19) .
ISBN : 978-90-481-4842-4
Langues : Anglais Langues originales : Français
Mots-clés : didactique des mathématiques enseignement des mathématiques Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22173 BRO/97/10439 Livre Recherche Salle Disponible