« Variable libre » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xx... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 7 : | Ligne 7 : | ||
== 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 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 == | ||
'''Variable libre''' <small> féminin </small> | |||
== Anglais == | == Anglais == | ||
''' | '''free variable''' | ||
in a predicate calculus formula, an occurrence of a variable within the scope of a quantifier ( &forall or &exist ) of that variable. | in a predicate calculus formula, an occurrence of a variable within the scope of a quantifier ( &forall or &exist ) of that variable. | ||
| Ligne 19 : | Ligne 21 : | ||
<small> | <small> | ||
[https://fr.wikipedia.org/wiki/Variable_libre Source : Wikipedia ] | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | ||
Version du 23 mai 2020 à 21:54
en construction
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
in a predicate calculus formula, an occurrence of a variable within the scope of a quantifier ( &forall or &exist ) of that variable.
Contributeurs: Imane Meziani, wiki
