Récurrence et récursivité à l'interface des mathématiques et de l'informatique - Archive ouverte HAL
Article Dans Une Revue Repères IREM Année : 2020

Récurrence et récursivité à l'interface des mathématiques et de l'informatique

Résumé

L'introduction de contenus d'informatique dans les programmes de mathématiques de l'enseignement secondaire français offre une bonne occasion de réfléchir à des questions, relevant d'un point de vue épistémologique et didactique, sur les interactions entre ces deux disciplines. En particulier, les notions de récurrence et de récursivité revêtent un intérêt majeur en raison de leur ubiquité tant en mathématiques qu'en informatique, des nombreuses difficultés qu'elles suscitent chez les étudiants qui tentent de les apprendre, mais également de la relation dialectique qui les relie. Les auteurs présentent les résultats d'une étude d'épistémologie contemporaine à visée didactique, incluant des analyses d'ouvrages et des entretiens auprès de chercheurs. Ils soulignent l'importance du concept d'induction structurelle qui permet, en un certain sens, de combler l'écart entre la récursivité - entendue comme une méthode de construction de structures - et les schémas inductifs de preuve permettant de démontrer les propriétés de ces structures.
Fichier non déposé

Dates et versions

hal-04161059 , version 1 (13-07-2023)

Identifiants

  • HAL Id : hal-04161059 , version 1

Citer

Nicolás León, Simon Modeste. Récurrence et récursivité à l'interface des mathématiques et de l'informatique. Repères IREM, 2020, 119, pp.45-63. ⟨hal-04161059⟩
49 Consultations
0 Téléchargements

Partager

More