Récurrence et récursivité: analyses de preuves de chercheurs dans une perspective didactique à l'interface mathématiques-informatique - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

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

Abstract

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
Vignette du fichier
INDRUM2020_Leon_Modeste_Durand_Guerrier_revised.pdf (281.05 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03113854 , version 1 (18-01-2021)

Identifiers

  • HAL Id : hal-03113854 , version 1

Cite

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⟩
120 View
1903 Download

Share

Gmail Facebook X LinkedIn More