Récurrence et récursivité: analyses de preuves de chercheurs dans une perspective didactique à l'interface mathématiques-informatique
Fiche du document
12 septembre 2020
- handle: 10670/1.ezht0r
- hal: hal-03113854
info:eu-repo/semantics/OpenAccess
Mots-clés
Epistemological studies of mathematical topics Teaching and learning of logic Reasoning and proof Teaching and learning of number theory and discrete mathematics.Sujets proches
Methods of analysis Analysis and chemistry Analytical methods Chemical analysis Analysis methods Analysis and examination Investigadores científicos Personnel de recherche Enseignants-chercheurs Analyse chimique DosageCiter ce document
Nicolas Leon et al., « Récurrence et récursivité: analyses de preuves de chercheurs dans une perspective didactique à l'interface mathématiques-informatique », HAL-SHS : sciences de l'éducation, ID : 10670/1.ezht0r
Métriques
Partage / Export
Résumé
Nous présentons l'analyse de preuves de chercheurs sur l'équivalence de deux définitions du concept d'arbre en théorie des graphes, l'une des deux définitions étant de type récursif et l'autre non. L'analyse vise à mettre en lumière la relation entre les notions de récurrence et de récursivité, telle qu'elle est perçue par les experts, afin d'éclairer les questions didactiques que soulève leur apprentissage.