« Variable libre » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
== Définition ==
== 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 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.
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 ==
== Français ==
Ligne 18 : Ligne 18 :


[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:Scotty2]]

Version du 4 décembre 2020 à 05:23

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 féminin

Anglais

Free variable


Source : Wikipedia

Source : Utexas Ai vocabulary

Contributeurs: Imane Meziani, wiki