Vers la preuve
Pays: France
Niveau: (pas de niveau associé) ((pas de niveau associé))
Matière: Maths
Activité: Comparer deux programmes

Voici deux programmes de calcul :

But: Comparer deux programmes
L'objectif de ces programmes de calcul est de montrer que, grâce à des propriétés simples
("on peut additionner dans n'importe quel ordre" et l'équivalence entre addition et multiplication par un entier), on peut prouver que deux programmes de calcul sont équivalents. Un parallèle avec la démonstration en géométrie peut ainsi être fait.

Une autre institutionnalisation importante est de montrer que, pour résoudre certains problèmes, on ne s'intéresse plus aux résultats, mais aux opérations à effectuer.