Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
predicate logic
Vertaling van "predicate logic" in Spaans
lógica de predicados
But dependent types can express arbitrary propositions in predicate logic.
Pero tipos dependientes pueden expresar proposiciones arbitrarias en la lógica de predicados.
Quantifiers play a significant role in predicate logic, enhancing statements about variables.
Los cuantificadores juegan un papel importante en la lógica de predicados, mejorando las afirmaciones sobre variables.
Some authors refer to "predicate logic with identity" to emphasize this extension.
Algunos autores se refieren a "lógica de predicados con identidad" para enfatizar esta extensión.
Lojban is a constructed language based on so called predicate logic which makes it kind of a bridge between different languages and cultures.
Es un lenguaje construido basándose en la lógica de predicados, lo que lo transforma en un puente entre diferentes lenguas y culturas.
Many years ago, I spent part of my time writing software specifications using first-order predicate logic.
Hace muchos años, dediqué parte de mi tiempo a escribir especificaciones de software usando lógica de predicados de primer orden.
There is a complete proof system for predicate logic whose rules just tell us explicitly what single quantifiers do.
Hay una prueba completa en el sistema para la lógica de predicados cuyas reglas solo nos dicen explícitamente lo que los cuantificadores individuales hacen.
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.
The semantics of concepts identifies concept languages as fragments of first order predicate logic.
La semántica de conceptos identifica los lenguajes de conceptos como fragmentos de la lógica de predicados de primer orden.
In predicate logic, by contrast, the external structure of the expression, rather than its inner truth value, is what is given consideration.
En lógica de predicados, en contraste, la estructura externa de la expresión, más que su valor interno de verdad, es lo que recibe consideración.
Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.
In predicate logic, existential generalization (also known as existential introduction, ∃I) is a valid rule of inference that allows one to move from a specific statement, or one instance, to a quantified generalized statement, or existential proposition.
En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial.
In predicate logic, generalization (also universal generalization or universal introduction, GEN) is a valid inference rule.
En lógica de predicados, generalización (también generalización universal o introducción universal, GEN) es una regla de inferencia válida.
IMS stores data hierarchically, but in the 1970s Ted Codd proposed an alternative relational storage model based on set theory and predicate logic and the familiar concepts of tables, rows and columns.
El IMS almacena datos jerárquicamente, pero en la década de 1970, Ted Codd propuso como alternativa los modelos de almacenamiento relacionales basándose en la teoría de conjuntos y en la lógica de predicados y en conceptos familiares como lo son las tablas, filas y columnas.
Synoniemen voor predicate logic in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 41. Exact: 41. Verstreken tijd: 36 ms.
