Comment prévoir exactement ce qu’un programme Python va faire ?

Une variable associe un nom à une valeur courante. Le type int représente un entier, bool une valeur True ou False, float une approximation décimale et str une chaîne de caractères. La valeur 7 et le texte "7" n’acceptent pas les mêmes opérations.

Un flottant n’est pas un nombre réel exact : son stockage fini peut produire de petits écarts d’arrondi. Le type doit correspondre au sens des données, pas seulement à leur apparence à l’écran.

En mathématiques, $\text{x=x+1}$ est impossible. En Python, le signe = est une affectation : le membre de droite est calculé avec l’état actuel, puis le résultat remplace la valeur associée au nom de gauche. La comparaison d’égalité s’écrit ==.

Si $\text{y=x+3}$ puis x change, y conserve la valeur calculée au moment de son affectation. Une variable n’est donc pas automatiquement liée aux variables qui ont servi à la calculer.

Python exécute normalement les lignes de haut en bas. Une table de trace comporte une ligne par instruction et une colonne par variable utile. Elle rend visibles les anciennes valeurs, les mises à jour et le moment exact d’un affichage ou d’une erreur.

Le texte placé après # est un commentaire et n’agit pas sur l’état. Si une opération combine des types incompatibles, l’exécution s’arrête : les lignes suivantes ne produisent aucun résultat.

L’expression après if est évaluée en booléen. Si elle vaut True, le bloc indenté est exécuté ; sinon, le bloc else éventuel l’est. Les deux-points introduisent le bloc et l’indentation en fixe les limites.

Teste les valeurs frontières : $\text{x>5}$ et $\text{x>=5}$ diffèrent précisément pour $\text{x=5}$. Des conditions ordonnées permettent aussi de découper tous les cas sans chevauchement ni oubli.

La boucle for est adaptée lorsque le nombre de répétitions est déterminé. range(n) fournit $\text{0,1,…,n−1}$ : il contient n entiers si n est positif. range(a,b) commence à a et s’arrête avant b.

Pour éviter l’erreur d’un tour, écris les premières et dernières valeurs de l’indice avant de calculer. Après chaque tour, mets à jour le compteur ou l’accumulateur dans la table de trace.

La boucle while convient lorsque le nombre de tours dépend d’une condition. Avant de l’écrire, identifie la variable testée, la manière dont elle évolue et une raison pour laquelle la condition deviendra fausse.

Si la variable de contrôle ne change pas, la boucle peut être infinie. Si la condition est fausse dès le départ, le bloc est exécuté zéro fois. Une simulation manuelle des premiers tours permet de repérer ces deux cas.