In this context, the free variable represents an undefined quantity.
Dans ce contexte, la variable libre représente une quantité indéfinie.
The philosopher analyzed how a free variable is interpreted in different logical systems.
Le philosophe a analysé comment une variable libre est interprétée dans différents systèmes logiques.
When writing logical expressions, a free variable should be clearly defined.
Lors de l'écriture d'expressions logiques, une variable libre doit être clairement définie.
A free variable can take on any value without constraints from quantifiers.
Une variable libre peut prendre n'importe quelle valeur sans contraintes de quantificateurs.
Free variable values are found using static lexical scoping.
An open formula is a formula that contains at least one free variable.
In the expression, the free variable allows for flexibility in interpreting the statement.
Dans l'expression, la variable libre permet une flexibilité dans l'interprétation de l'énoncé.
In programming, a free variable might lead to unexpected results if not carefully managed.
En programmation, une variable libre peut conduire à des résultats inattendus si elle n'est pas gérée avec soin.
In y, "y" is called a free variable because it is never declared before hand.
Dans y, "y" est appelé une variable libre car elle n'a pas été déclarée plus tôt.
We can view ce'u as a free variable, which then becomes bound by a lambda abstraction, namely ka.
Nous pouvons voir ce'u comme une variable libre, qui devient alors lié par une lambda-abstraction, à savoir ka.
in said generator the anode is communicated with an anode separator and the cathode is communicated with a cathode separator, said separators having a free variable volume
dans ledit générateur, l'anode communique avec un séparateur anodique et la cathode avec un séparateur cathodique, lesdits séparateurs présentant un volume variable libre
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression.
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.
The formula comes out true (is satisfied) whenever the name of an object that would be a member of the set (if it existed) replaces the free variable.
La formule est vérifiée (si elle est satisfaite) à chaque fois que le nom d'un objet élément de l'ensemble (s'il existe) remplace la variable libre.