Récurrence et récursivité: analyses de preuves de chercheurs dans une perspective didactique à l'interface mathématiques-informatique
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.
Fichier principal
INDRUM2020_Leon_Modeste_Durand_Guerrier_revised.pdf (281.05 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|