Advertising
Register for free: access more results and features
variable libre
Definition
Translation of "variable libre" in English
Definition
Dans ce contexte, la variable libre représente une quantité indéfinie.
In this context, the free variable represents an undefined quantity.
Le philosophe a analysé comment une variable libre est interprétée dans différents systèmes logiques.
The philosopher analyzed how a free variable is interpreted in different logical systems.
Lors de l'écriture d'expressions logiques, une variable libre doit être clairement définie.
When writing logical expressions, a free variable should be clearly defined.
Une variable libre peut prendre n'importe quelle valeur sans contraintes de quantificateurs.
A free variable can take on any value without constraints from quantifiers.
Dans l'expression, la variable libre permet une flexibilité dans l'interprétation de l'énoncé.
In the expression, the free variable allows for flexibility in interpreting the statement.
En programmation, une variable libre peut conduire à des résultats inattendus si elle n'est pas gérée avec soin.
In programming, a free variable might lead to unexpected results if not carefully managed.
None ou tuple de cellules qui contient un lien pour chaque variable libre de la fonction.
None or a tuple of cells that contain bindings for the function's free variables.
Dans y, "y" est appelé une variable libre car elle n'a pas été déclarée plus tôt.
In y, "y" is called a free variable because it is never declared before hand.
Nous pouvons voir ce'u comme une variable libre, qui devient alors lié par une lambda-abstraction, à savoir ka.
We can view ce'u as a free variable, which then becomes bound by a lambda abstraction, namely ka.
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 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
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.
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.
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.
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.
Cette relativisation quelque peu artificielle du problème P=? NP ne semble pas si aisée, et je n'arrive seulement qu'à construire une structure qui n'a cette propriété que pour les formules existentielles dans lesquelles ne survit qu'une seule variable libre.
This somehow artificial relativisation of the P=? NP problem seems to be not totally straightforward, and all what I can do is to produce a structure which has this property only when there remains only one surviving free variable in the existential formula.
Go Premium to unlock millions of translation examples, save and learn unlimited vocabulary, without ads.
Synonyms and analogies of "variable libre" in French
Results: 424. Exact: 28. Elapsed time: 86 ms.
