Algorithmique et apprentissage de la preuve

International audienceDans 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