« Variable libre » : différence entre les versions

Dernière version du 28 janvier 2024 à 14:55

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

@@ Ligne 1 : / Ligne 1 : @@
+== 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 construction ==
+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.
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas‏‎]]
-== Définition ==
-xxxxxxx
 == Français ==
-xxxxxxx
+'''Variable libre'''
 == Anglais ==
-'''bound occurrence'''
+'''Free variable'''
-in a predicate calculus formula, an occurrence of a variable within the scope of a quantifier ( &forall or &exist ) of that variable.
+==Sources==
-<small>
+[https://fr.wikipedia.org/wiki/Variable_libre  Source : Wikipedia ]
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]