Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01416152
Contributor : Simon Modeste <>
Submitted on : Wednesday, December 14, 2016 - 10:04:28 AM
Last modification on : Tuesday, October 6, 2020 - 8:36:02 AM

Identifiers

  • HAL Id : hal-01416152, version 1

Citation

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

Share

Metrics

Record views

223