Algorithmique et apprentissage de la preuve

Fiche du document

Date

2010

Discipline
Type de document
Périmètre
Langue
Identifiants
Collection

Archives ouvertes




Citer ce document

Simon Modeste et al., « Algorithmique et apprentissage de la preuve », HAL-SHS : sciences de l'éducation, ID : 10670/1.0cqb56


Métriques


Partage / Export

Résumé Fr

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.

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en