Bienvenue dans la bibliothèque de l'ENSFEA.
Vous pouvez consulter l'ensemble des références bibliographiques du catalogue en interrogeant le moteur de recherche.
Les usagers inscrits, possédant une carte de lecteur, peuvent accéder à leur compte et aux services rattachés : réservations, suivi des prêts, suggestions d'achats.
Adresse
Bibliothèque de l’École Nationale Supérieure de Formation de l'Enseignement Agricole2 route de Narbonne,
31326 Castanet Tolosan
France
05 61 75 34 38
contact
Titre : | Analyse de l'activité de démonstration mathématique : contribution à l'étude du raisonnement approché. Thèse de doctorat en Sciences appliquées : Informatique, Ecole nationale supérieure de l'aéronautique et de l'espace, soutenue le 22 décembre 1989 |
Auteurs : | Laurent Chaudron ; François-Régis Valette, Directeur de thèse |
Type de document : | texte imprimé |
Editeur : | [s.l.] : s.n., 1989 |
Format : | 228 p. / graph, tabl. |
Index. décimale : | 51:37.02 (Didactique des mathématiques ) |
Résumé : | Le raisonnement en mathématiques a ceci de particulier qu'il est fondamentalement impliqué dans un processus de démonstration. Or, ce dernier se conçoit selon une interaction entre des agents raisonneurs. Dans cette perspective, il est nécessaire d'abandonner l'idée de démonstration complète ; c'est pourquoi, dans ce travail, l'identité : (raisonnement approché=démonstration approchée) est postulée. Dans une première partie, les objets et les propriétés manipulés en mathématiques sont examinés et le rôle fédérateur de l'activité de démonstration est mis en évidence. Dans la deuxième partie, la démonstration proprement dite est décomposée, étudiée et classifiée. Dans la troisième partie, deux approches adaptées à la prise en compte de la démonstration comme interaction entre agents raisonneurs sont présentées : celle de lakatos (preuves et réfutations) et celle de watzlawick (pragmatique de la communication). La dernière partie propose une projection des différentes caractéristiques précédemment exhibées, sur un formalisme non-classique : l'inférence continue. Ce paradigme représente un agent raisonneur comme un espace structuré et évolutif ou les raisonnements sont des familles de problèmes corrélés. Pour dégager les caractéristiques de l'activité mathématique, la méthode a consisté à s'appuyer sur des observations de situations de résolution de problèmes mathématiques, selon des techniques du domaine des sciences humaines. Les résultats ont été agencés autour d'un corps d'énoncés de mathématiciens. Cette thèse doit être perçue comme une étude clinique de l'activité de démonstration mathématique, débouchant sur un paradigme de représentation et de manipulation de la connaissance. Par ailleurs, ce travail à des conséquences dans le domaine de la didactique des mathématiques. |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
0113886 | 51:37.02 CHA | Thèse | Salle de consultation | Archives Doc | Disponible |