variable libre
Sign in to saveAlso known as real variable
notation en mathématique spécifiant à quelles places dans une expression une substitution peut avoir lieu
Wikidata facts
- Subclass of
- variable
- Part of
- free and bound variables
Show 2 more facts
- opposite of
- bound variable
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/free-variables
via Wikidata · CC0
Article · Français
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.
Abstract from DBpedia / Wikipedia · CC BY-SA