
« L’équivalence de deux programmes de calcul »… ça veut dire quoi ?
On nous donne deux programmes qui sont différents, c’est-à-dire qui sont composés d’instructions différentes MAIS pour ces deux programmes on obtient le même résultat, quelque soit le nombre de départ !
Ici, tu vas démontrer l’équivalence c’est-à-dire montrer que ces programmes sont bien aéquivalents pour TOUS les nombres possibles que tu peux prendre au départ ! (et bien sûr, tu ne testes pas tous les nombres, c’est impossible).
4893