Calcul littéral et algorithme
On considère l'algorithme suivant
écrit en langage naturel, x étant un
entier relatif entré par l'utilisateur.

1. Quelle valeur est stockée dans la
variable d après l'exécution de cet
algorithme lorsqu'on entre la valeur x4? Pour x=2?
Et pour x=-3?

2. Emettre alors une conjecture quant au résultat donné
par cet algorithme. Démontrer cette conjecture.
ax-2x-1

Programme :

a <— 2x - 1
b <— a² - 1
c <— b ÷ 4
d <— c - a + x