tc_info:2020_cpp_4-2

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révision		 Révision précédente
tc_info:2020_cpp_4-2 [2020/09/30 14:12] – créée ppreatc_info:2020_cpp_4-2 [2020/09/30 15:19] (Version actuelle) – pprea
Ligne 1: Ligne 1:
 +Il faut "remarquer" que $x^y \times r$ est un invariant de boucle. Il est en effet évident que sa valeur ne change pas entre les lignes 2 & 3.
  
 +Donc sa valeur ne change pas entre les lignes 1 & 4.
 +\\
 +À la ligne 1, sa valeur est $A^B$.
 +\\
 +À la ligne 4, comme $y=0$ (on est sorti de la boucle), sa valeur est $r$.