Variable libre

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

En mathématiques, et dans d'autres disciplines comprenant des langages formels, dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée).

En programmation informatique, une variable libre est une variable référencée dans une fonction qui n'est ni une variable locale ni un paramètre de cette fonction.

Français

Variable libre

Anglais

Free variable

Sources

Source : Wikipedia

Source : Utexas Ai vocabulary