Algorithmique et apprentissage de la preuve - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Repères IREM Année : 2010

Algorithmique et apprentissage de la preuve

Résumé

Dans cet article, les auteurs membres de l'équipe "Maths à Modeler", présentent tout d'abord une étude épistémologique sur la place et le rôle de l'algorithme dans la science mathématique. Ils étudient les différents aspects de l'algorithme suivant une dichotomie outil-objet, puis développent le lien privilégié qu'il entretient avec la preuve. En s'appuyant sur cette étude, une analyse des programmes du lycée et des manuels sont proposées. Dans un troisième temps, une situation de recherche en classe mettant en jeu l'algorithme est présentée. Les résultats d'expérimentations de cette situation montrent comment la construction d'algorithmes, leur preuve et l'analyse de leur complexité peuvent être questionnées en classe.
Fichier non déposé

Dates et versions

hal-01416152 , version 1 (14-12-2016)

Identifiants

  • HAL Id : hal-01416152 , version 1

Citer

Simon Modeste, Cécile Ouvrier-Buffet, Sylvain Gravier. Algorithmique et apprentissage de la preuve. Repères IREM, 2010, 79, pp 51-72. ⟨hal-01416152⟩
198 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More