bn:21706358n
Noun Concept
Categories: Logique mathématique, Informatique théorique
FR
variable libre  variable efficace  variable liée  variable muette  Variable parlante
FR
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. Wikipedia
Definitions
Relations
Sources
FR
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. Wikipedia
Wikipedia
Wikidata