Différences

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

--- tc_info:2020_cpp_4-2 [2020/09/30 14:12] – pprea
+++ tc_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$ .