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
Affiner la recherche Interroger des sources externesCABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation (1997) / Vanda LUENGO
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 (fre) 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 (fre)
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 (1988) / Nicolas BALACHEFF
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 1 Année de publication : 1988 Importance : 280 p. Langues : Français (fre) 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 1, 1988 . - 280 p.
Langues : Français (fre)
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 (1988) / Nicolas BALACHEFF
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 1 Année de publication : 1988 Langues : Français (fre) 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 1, 1988.
Langues : Français (fre)
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 Exclu du prêt Formation mathématique des instituteurs, avec ouverture sur l'informatique (1981) / Nicolas BALACHEFF
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 (fre) 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 . - CEDIC, 1981 . - 315 p.. - (Formation des maîtres en mathématiques, ISSN 0337-3290) .
ISBN : 978-2-7124-0162-7
Langues : Français (fre)
Mots-clés : formation continue informatique science de l'éducation Note de contenu : bibliogr., index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1855 BAL/IREM/ScE Livre IREM Salle Disponible Theory of didactical situations in mathematics (Cop. 1997) / Guy BROUSSEAU
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 (eng) Langues originales : Français (fre) 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 . - Springer Science, Cop. 1997 . - XIV-304 p. : ill.. - (Mathematics education library, ISSN 0924-4921; 19) .
ISBN : 978-90-481-4842-4
Langues : Anglais (eng) Langues originales : Français (fre)
Mots-clés : didactique des mathématiques enseignement des mathématiques Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22173 BRO/97/10439 Livre Recherche Salle Disponible