Invariant
Définition
Elément constant d'une boucle de contrôle. Par exemple, dans une boucle
while(cond) do bloc end, l'invariant est (not cond) or bloc.while(cond) do bloc end, l'invariant est (not cond) or bloc.
Informatique
L'anglais dispose de deux termes principaux pour le mot français informatique: "computer science" désigne l'aspect technique, voire scientifique, de la discipline, tandis que "data processing" dési…