Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Boolean-valued
Vertaling van "Boolean-valued" in Spaans
valor booleano
de valor de Boolean
Following an initial observation of Robert Solovay, Scott formulated the concept of Boolean-valued model, as Solovay and Petr Vopěnka did likewise at around the same time.
Continuando una observación inicial de Robert Solovay, Scott formuló el concepto de modelo de valor booleano (Solovay and Petr Vopěnka hicieron lo mismo en la misma época).
In mathematical logic, a sentence of a predicate logic is a boolean-valued well-formed formula with no free variables.
En lógica matemática, una sentencia de una lógica de predicados es una fórmula bien formada con valor booleano y sin variables libres.
Boolean-valued actions do not require a payload.
Las acciones de valor Booleano no requieren una carga.
In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element.
In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element.
En los valores semánticos de Boole (para lógica proposicional clásica), los valores de verdad son los elementos de una álgebra arbitraria; "cierto" corresponde al elemento máximo del álgebra, y "falso" corresponde al elemento mínimo.
Represents a predicate (Boolean-valued function) of one int-valued argument. 20 IntSupplier
Representa un predicado (función de valor de Boolean) de un argumento int-valorado. 20 IntSupplier
Represents a predicate (Boolean-valued function) of two arguments. 5 BooleanSupplier
Representa un predicado (función de valor de Boolean) de dos argumentos. 5 BooleanSupplier
In 1967 Scott published a paper, A Proof of the Independence of the Continuum Hypothesis, in which he used Boolean-valued models to provide an alternate analysis of the independence of the continuum hypothesis to that provided by Paul Cohen.
En 1967 Scott publicó un artículo, A Proof of the Independence of the Continuum Hypothesis, en el que usaba modelos de valores booleanos como análisis de la independencia de la hipótesis de continuo alternativo al de Paul Cohen.
(Medium) Add a new Boolean-valued property cheatMode to the GameEnvironment record.
(Medio) Añade una nueva propiedad cheatMode con valor Boolean al registro GameEnvironment.
Define the boolean-valued function Q(i, s) to be the value (true or false) of "there is a nonempty subset of x1, ..., xi which sums to s".
Representemos 'la suma de valores negativos con N y la suma de valores positivos con P. Definamos la función booleana Q(i, s) como (verdadera o falsa) de "existe un subconjunto de x1,..., xi cuya suma es s".
Synoniemen voor Boolean-valued in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 24 ms.
