Récurrence et récursivité: analyses de preuves de chercheurs dans une perspective didactique à l'interface mathématiques-informatique

Nous presentons l'analyse de preuves de chercheurs sur l'equivalence de deux definitions du concept d'arbre en theorie des graphes, l'une des deux definitions etant de type recursif et l'autre non. L'analyse vise a mettre en lumiere la relation entre les notions de recurrence et de recursivite, telle qu'elle est percue par les experts, afin d'eclairer les questions didactiques que souleve leur apprentissage.