Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
existentially quantified
Vertaling van "existentially quantified" in Spaans
cuantificada existencialmente
There can't be more than one example of existentially quantified formula in the same branch.
Solo puede haber un ejemplo de fórmula cuantificada existencialmente en una misma rama.
We will extend this work supporting queries about the existence of states satisfying constraints or queries where the states themselves are existentially quantified.
Extenderemos esta línea con soporte adicional para describir la existencia de estados que satisfagan una restricción o propiedades donde los estados mismos están cuantificados existencialmente.
The alternating machine branches existentially to try all possible values of an existentially quantified variable and universally to try all possible values of a universally quantified variable, in the left-to-right order in which they are bound.
La máquina alternante se ramifica existencialmente para probar todos los valores posibles de una variable cuantificada y universalmente para probar todos los valores posibles de una variable cuantificada universalmente, de izquierda a derecha según el orden en el que están enlazados.
Thus at an existentially quantified variable the machine is accepting if a value can be substituted for the variable which renders the remaining problem satisfiable, and at a universally quantified variable the machine is accepting if any value can be substituted and the remaining problem is satisfiable.
Así la máquina está aceptando si un valor puede ser sustituido por la variable cuantificada existencialmente que hace que el problema restante sea satisfactorio, y en una variable cuantificada universalmente la máquina acepta si cualquier valor puede ser sustituido y el problema restante es satisfactorio.
The Boolean satisfiability problem can be viewed as the special case where all variables are existentially quantified, allowing ordinary nondeterminism, which uses only existential branching, to solve it efficiently.
El problema de satisfactibilidad booleano puede ser visto como el caso especial donde todas las variables están cuantificadas existencialmente, permitiendo que el no determinismo ordinario, que usa sólo la ramificación existencial, lo resuelva eficientemente.
ACE interpretation rules decide that (1) is interpreted as universally quantified, while (2) is interpreted as existentially quantified.
Las reglas de interpretación de ACE deciden que (2) sea interpretada como cuantificada universalmente, mientras que (3) es interpretada como cuantificada existencialmente.
Definite descriptions are denoting phrases (see "On Denoting") which are analyzed by Russell into existentially quantified logical constructions.
Descripciones definidas son expresiones que denotan (véase El Designando), que son analizados por Russell en construcciones lógicas existencialmente cuantificados.
ACE interpretation rules decide that (1) is interpreted as universally quantified, while (2) is interpreted as existentially quantified.
Las reglas de interpretación de ACE deciden que (2) sea interpretada como cuantificada universalmente, mientras que (3) es interpretada como cuantificada existencialmente.
Synoniemen voor existentially quantified in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 64 ms.
