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

Nicolas Leon (1) , Simon Modeste (1) , Viviane Durand-Guerrier (1)

1 IMAG - Institut Montpelliérain Alexander Grothendieck

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.

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.

Domaines: Education

Nicolas Leon, Simon Modeste, Viviane Durand-Guerrier. Récurrence et récursivité: analyses de preuves de chercheurs dans une perspective didactique à l'interface mathématiques-informatique. INDRUM 2020, Université de Carthage, Université de Montpellier, Sep 2020, Cyberspace (virtually from Bizerte), Tunisie. ⟨hal-03113854⟩