Download for Windows Premium
Publiciteit
free variable
/friː 'vɛriəbl/
Definitie
1. variable not bound by a quantifier in a logical expression 2. variable not bound... See more
variable libre f
paramètre libre m
variable non liée
variable indépendante f
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.
Les variables libres sont trouvées par portée lexicale.
An open formula is a formula that contains at least one free variable.
Un prédicat est une formule qui contient une ou plusieurs variables libres.
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.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor free variable in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
Allen key: L-shaped tool for hexagonal socket screws
Ontdek het woord
Publiciteit

Resultaten: 547. Exact: 28. Verstreken tijd: 100 ms.