lógica de predicados oor Engels
lógica de predicados
Vertalings in die woordeboek Spaans - Engels
predicate logic
es
familia de sistemas lógicos
en
subfield of logic
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
John Wallace ha alegado que sería ventajoso relativizar los cuantificadores de la lógica de predicados a sortales.
I' ve missed this car so much...... and youLiterature Literature
La lógica de predicados de primer orden permite cuantificar únicamente sobre individuos.
N,N-bis(#-hydroxyethyl)oleamideLiterature Literature
Hay poca dificultad técnica en la extensión de la lógica multivaluada a la lógica de predicados y ⁄ ukacuantificadores.
Your dad' s been sentencedLiterature Literature
A veces, la lógica de predicados se amplía con el objetivo de representar tiempo, causa, o deber / moral.
For which categories of installations and which requirements, if any, have general binding rules been established, as provided for by Article #?Literature Literature
Zadeh desarrolló una lógica de conjuntos borrosos como base para una lógica de predicados vagos.
I just examined the girlLiterature Literature
¿Cómo se interpreta extensionalmente un predicado en lógica de predicados?
Yeah, no, you did a great job, FrankLiterature Literature
Ahora podemos simbolizar (2) en lógica de predicados.
Missile is armed and hotLiterature Literature
En principio, en lógica de predicados, se permite un número ilimitado de variables.
He actually just landed.Should be home soonLiterature Literature
Beth sobre la lógica de predicados de primer orden de 1959 y los de K.
Yeah, we' re not getting our door tonight.He suggested we hang some beadsLiterature Literature
VERDADERO EN TODA INTERPRETACION Volvamos al razonamiento con que abrimos el capítulo de lógica de predicados.
There is written and oral evidence of the origin of this flat bread but the written sources are rather sketchyLiterature Literature
Dar un ejemplo de un enunciado en lógica de predicados que sea falso en todo mundo posible. 7.
it had a # licenseLiterature Literature
Toda fórmula de la lógica de predicados tiene una fórmula equivalente en forma normal prenexa.
Who do you want?Literature Literature
En lógica de predicados, generalización (también generalización universal o introducción universal, GEN) es una regla de inferencia válida.
I never pegged her for a cutter, that' s allWikiMatrix WikiMatrix
Las expresiones de la lógica de predicados, por otro lado, no presentan esa dependencia del contexto.
He travels to pray for men like youLiterature Literature
Algunos autores se refieren a "lógica de predicados con identidad" para enfatizar esta extensión.
Now that we are here in this place together, you feel obliged to tell me what to do with my lifeWikiMatrix WikiMatrix
La lógica de predicados de primer orden usa reglas de inferencia para liderar con cuantificadores lógicos.
Flour, meal and powder of the dried leguminous vegetablesWikiMatrix WikiMatrix
Traducir los dos enunciados siguientes a la lógica de predicados.
While the most obvious KWeather interface is the panel icon, there are several other places where you can access KWeather 's information. These are particularly useful if you need to watch multiple weather stations. While & kweather; allows you to track multiple weather stations, the panel icon displays only one at a timeLiterature Literature
En lógica de predicados no hay un método formal correspondiente.
No. of cylindersLiterature Literature
A continuación veremos cómo se relacionan las expresiones de la lógica de predicados con el mundo.
In its decision, the FCC issued a series of conditions.Literature Literature
Formalizar la ambigüedad del siguiente enunciado por medio de la lógica de predicados.
the justice department apology, vip treatment, the whole nine yardsLiterature Literature
(Básicamente, esto es lo que hicimos en nuestro análisis de la semántica de la lógica de predicados).
jared. hi. listen, i just wanted to sayLiterature Literature
Los tipos dependientes pueden expresar proposiciones arbitrarias en la lógica de predicados intuicionista.
What did I just say?WikiMatrix WikiMatrix
El lenguaje puede ser un lenguaje formal como la lógica de predicados o un lenguaje natural como el castellano.
In my mind' s eye I kept seeing all the films of decapitationsLiterature Literature
En cambio, esta última proposición se considera verdadera en la lógica de predicados porque los cerdos no tienen alas.
I need to hear you sayYou love me all the wayLiterature Literature
En la lógica modal los pr~blemas de alcance también son importantes, quizá más que en lógica de predicados.
I' il talk to you tomorrowLiterature Literature
143 sinne gevind in 47 ms. Hulle kom uit baie bronne en word nie nagegaan nie.