lógica de segundo orden oor Engels
lógica de segundo orden
Vertalings in die woordeboek Spaans - Engels
second-order logic
es
extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores
en
extension of first-order logic, which itself is an extension of propositional logic
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal.
It may invite the EU Operation Commander and/or EU Force Commander to its meetings as necessaryWikiMatrix WikiMatrix
La lógica de segundo orden tiene un poder expresivo mayor que la lógica de primer orden.
We want to make sure that this time when we come with recommendations for homelessness that it is sustainable, that we fix it and that we never see the problem happening again in the countryWikiMatrix WikiMatrix
(Ésto puede formalizarse en lógica de segundo orden.)
I can' t pay until FridayLiterature Literature
En la lógica de segundo orden se puede también permitir que los enunciados hagan de argumentos de los predicados.
I don' t understandLiterature Literature
En un modelo de la lógica de segundo orden, el dominio de primer orden determina al dominio de segundo orden.
Each submission will be assessed on the basis of the evaluation criteria set out in the eContentplus Work ProgrammeLiterature Literature
En general el teorema de Löwenheim-Skolem no se sostiene en lógicas más fuertes, como la lógica de segundo orden.
Canada and Member State authorities may organise meetings to discuss specific questions and issuesWikiMatrix WikiMatrix
De la misma manera en la lógica de primer orden, la lógica de segundo orden puede contener signos no-lógicos para construir un lenguaje de segundo orden específico.
All of us got outWikiMatrix WikiMatrix
Boolos sostenía que si uno lee las variables de segundo orden en lógica de segundo orden monádica en forma plural, entonces la lógica de segundo orden puede ser interpretada como que no posee vínculos ontológicos con otras entidades que no sean aquellas pertenecientes al rango de las variables de primer orden.
What do you mean, kiss it?WikiMatrix WikiMatrix
El libro es una reimpresión de gran parte del trabajo de Boolos sobre la rehabilitación de Frege, como también incluye trabajos sobre teoría de conjuntos, lógica de segundo orden y no encuadrable por una lógica de primer orden, cuantificación plural, teoría de la demostración, y tres trabajos profundos sobre el teorema de la incompletitud de Gödel.
I hate you MinaWikiMatrix WikiMatrix
En lógica de segundo orden, no obstante, el teorema del buen orden es más estricto que el axioma de elección: del teorema del buen orden se deduce el axioma de elección, pero del axioma de elección no se puede deducir el teorema del buen orden. El teorema del buen orden se obtiene del lema de Zorn.
Fearful, fearfuI is Mazeppa' s judgement!WikiMatrix WikiMatrix
Su lógica matemática considera la lógica proposicional, la lógica modal, la lógica de la identidad, la lógica silogística, la lógica de primer orden con variables de ligazón para operadores de término, lógicas de segundo orden, teoría de modelos, y la teoría de concatenaciones –disciplina que es fundacional en todas las áreas de lógica y que proporciona las bases para todo el resto de su trabajo matemático.
And in his second floor studyWikiMatrix WikiMatrix
En la lógica matemática, la aritmética de segundo orden es una colección de sistemas axiomáticos que formalizan los números naturales y sus subconjuntos.
He thinks everyone responsible for the atrocities, directly or indirectly, must be punishedWikiMatrix WikiMatrix
Una característica lógica de PSPACE desde la teoría de la complejidad descriptiva es que son conjuntos de problemas expresados en segundo orden lógico con la adición de un operador de la clausura transitiva.
I get so damned mean!WikiMatrix WikiMatrix
La satisfactibilidad proposicional tiene varias generalizaciones, incluyendo satisfactibilidad al problema de la fórmula booleana cuantificados para la lógica clásica de primer y segundo orden (LCPO y LCSO, respectivamente), a los problemas de la satisfacción de las limitaciones para la programación de enteros 0 -- 1, y el problema de la satisfactibilidad máximo.
Hertzel, what are you doing?WikiMatrix WikiMatrix
Lógica de segundo orden - Wikipedia, la enciclopedia libre
That lying bitch!ParaCrawl Corpus ParaCrawl Corpus
Cómo está organizado este libro Esta segunda edición de Astrología para Dummies sigue un orden lógico.
Declaration concerning the Charter of Fundamental Rights of the European UnionLiterature Literature
En general el teorema de Löwenheim-Skolem no se sostiene en lógicas más fuertes, como la lógica de segundo orden.
Lower your head, your headParaCrawl Corpus ParaCrawl Corpus
Por razones de orden lógico y tras algunas observaciones preliminares, comenzaré el análisis con la segunda cuestión prejudicial.
I' il get you outEurLex-2 EurLex-2
Segunda, contiene la suficiente información para que sea traducida a una frase lógica de primer orden.
Yeah, no, you did a great job, FrankLiterature Literature
En particular, defendemos que esta lógica no es, como se ha mencionado en multitud de ocasiones, una lógica de segundo orden y proporcionamos las razones siguientes.
Let me see your wristParaCrawl Corpus ParaCrawl Corpus
En primer lugar, examinaré el primero de los tres submotivos enumerados más arriba; luego, siguiendo un orden de prioridad lógico, el tercero, relativo a la naturaleza del riesgo de confusión, y, por último, el segundo.
The definition of the necessary requirements for the collection by relevant public authorities and/or, where relevant, by the private sector of road and traffic data (i.e. traffic circulation plans, traffic regulations and recommended routes, notably for heavy goods vehicles) and for their provisioning to ITS service providers, based oneurlex-diff-2018-06-20 eurlex-diff-2018-06-20
El Gobierno italiano ha considerado que debe modificarse el orden lógico de las cuestiones prejudiciales planteadas y, a su juicio, la segunda cuestión es la fundamental en el presente asunto.
It' s part of who I amEurLex-2 EurLex-2
Ha trabajado en temas de lógica de primer y de segundo orden, de teoría axiomática de conjuntos, de computabilidad y complejidad.
I' m always gonna be honest with youParaCrawl Corpus ParaCrawl Corpus
He decidido responder a las cuestiones prejudiciales en orden inverso porque me parece más lógico en este caso discutir primero el principio de equivalencia, aunque sea la segunda cuestión planteada por el órgano jurisdiccional nacional.
i'll go first. stay hereEurLex-2 EurLex-2
No es sólo una cuestión de teoría abstracta decir que nuestra Organización, lamentablemente, sigue obedeciendo a los criterios de una lógica de una época pasada y que está de acuerdo con ellos, a pesar del hecho de que el orden mundial que instauró la segunda guerra mundial ha experimentado cambios profundos, no solamente en la estructura geopolítica, sino también debido a las transformaciones importantes que se han operado en las relaciones entre los Estados
I' il be crazed if she decides not to look at me with those eyesMultiUn MultiUn
45 sinne gevind in 15 ms. Hulle kom uit baie bronne en word nie nagegaan nie.