Back Vollfreie Variable German Free variable English Variabile libera Italian 自由変数 Japanese 자유 변수 Korean Variável livre Portuguese Вільна змінна Ukrainian
Cet article est une ébauche concernant les mathématiques, l’informatique et la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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.