lógica de orden superior oor Engels
lógica de orden superior
Vertalings in die woordeboek Spaans - Engels
higher-order logic
es
forma de lógica de predicados que se distingue de la lógica de primer orden por tener cuantificadores adicionales
en
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Como cuantifican sobre propiedades y relaciones, las lógicas de orden superior parecen comprometidas con el platonismo.
You have no idea...How right you areLiterature Literature
El programa de Lawvere era escribir lógica de orden superior en términos de la teoría de categorías.
And I would cross paths with that damaged young woman...... many years henceWikiMatrix WikiMatrix
La matemática se reduce a lógica de orden superior; Quine concluye que esta última no es lógica.
Not as well as ILiterature Literature
La matemática, además, puede expresarse elegantemente en la lógica de orden superior.
PROCEDURE FOR THE SAMPLING OF QUICK-FROZEN FOODS INTENDED FOR HUMAN CONSUMPTIONLiterature Literature
Las lógicas de orden superior también permiten cuantificar sobre posiciones predicativas.
Just help me save Padmé' s lifeLiterature Literature
En este caso, Dios está limitado por una lógica de orden superior.
If she is...... she' s also Lara' s child.The Lara?Literature Literature
Sus responsables diseñaron un lenguaje TPTP novedoso con el que expresar problemas y soluciones en relación con la lógica de orden superior.
I think MicheI felt he was Iiving his whole Iife that nightcordis cordis
La teoría de modelos en lógicas de orden superior o lógicas infinitarias está obstaculizada por el hecho de que la completitud no se cumple para estas lógicas.
I' il go get the carWikiMatrix WikiMatrix
En resumen, los responsables de THFTPTP lograron desarrollar con éxito los productos de software que se habían propuesto y contribuyeron a desarrollar cinco sistemas de ATP plenamente automáticos para lógica de orden superior en el formato THF.
Copper productscordis cordis
RESUMEN Se ha destacado que la Fórmula de Barcan -FB- y la Conversa de la Fórmula de Barcan -CFB- para lógica modal cuantificacional de orden superior parecen válidas.
An ignorant street boy!Ignorant?scielo-abstract scielo-abstract
El proyecto financiado con fondos comunitarios THFTPTP («Una infraestructura para la demostración automática de teoremas en el formato THF —"typed higher-order form"—») se dedicó a realizar investigación y desarrollo para la ATP según la lógica clásica de orden superior.
I think you knowcordis cordis
La lógica de Hammurabi pertenecía a un orden superior.
Thanks for the night outLiterature Literature
Dios tiene un grado de conocimiento superior al de sus criaturas, pero se trata del mismo orden de lógica. 4.
that he' s decided in advance not to defend himselfLiterature Literature
En buena lógica, las verdades científicas no pueden imponerse contra las verdades de un orden superior.
Who made off with me hat?Literature Literature
HOL-TestGen permite escribir las especificaciones de prueba en las lógicas de orden superior (HOL).
Case T-#/#: Judgment of the Court of First Instance of # November #- Union Pigments v Commission (Competition- Article # EC- Cartel- Zinc phosphate market- Fine- Article # of RegulationNo #- Gravity and duration of the infringement- Principles of proportionality and equal treatment- Action for annulmentParaCrawl Corpus ParaCrawl Corpus
La teoría de modelos en lógicas de orden superior o lógicas infinitarias está obstaculizada por el hecho de que la completitud no se cumple para estas lógicas.
If you' re really sorry, then say it without that smirk on your face!ParaCrawl Corpus ParaCrawl Corpus
Desarrollamos todas nuestras formalizaciones en el Cálculo de Construcciones Inductivas lenguaje formal que combina una lógica de orden superior y un lenguaje de programación funcional tipado utilizando el asistente de pruebas Coq.
Under these circumstances, overall solutions in respect of direct mail as defined in the Finnish notification cannot be the subject of a decision pursuant to Article # of Directive #/#/EC as a single category of servicesParaCrawl Corpus ParaCrawl Corpus
Alonzo Church, inventor del cálculo lambda, desarrolló una lógica de orden superior comúnmente llamada Teoría de Tipos de Church,[2] para evitar la paradoja de Kleen-Rosser afectando el cálculo lambda puro original.
That' s a secretParaCrawl Corpus ParaCrawl Corpus
Lógicas clásicas y de orden superior, y sus aplicaciones.
What did this government do?ParaCrawl Corpus ParaCrawl Corpus
La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional.
The Member State concerned shall impose on the quantities which, within the meaning of Article # have been disposed of on the internal market, a charge equal to the sum of: (a) for C sugar, per # kilogramsParaCrawl Corpus ParaCrawl Corpus
Están clasificados en un estuche-bandeja de plástico de calidad superior por orden lógico de acuerdo con la secuencia de los pasos de trabajo.
Please, Liebchen, not that.Anything but thatParaCrawl Corpus ParaCrawl Corpus
La comprensión se hace posible a través de un concepto de orden superior: del individuo a la especie, de la especie al Género (en sentido lógico) y de éste al género superior y en sucesivas medidas y órdenes hasta la idea o concepto del Todo.
You were shot, you were injuredParaCrawl Corpus ParaCrawl Corpus
Habilidades cognitivas de orden superior que incluyen el pensamiento crítico, lógico, reflexivo, metacognitivo y creativo, y se activan cuando un perro se enfrenta a problemas desconocidos, incertidumbres, dudas o dilemas
And sometime in the environs # there was abig earthquake in the countyParaCrawl Corpus ParaCrawl Corpus
Nuestra naturaleza y la naturaleza del gobierno superior se volverán más cercanas y las órdenes entrarán en nosotros de manera muy lógica y ordenada.
Oh, but you do, CharlesParaCrawl Corpus ParaCrawl Corpus
También se solicita a los miembros de las Conferencias Episcopales con menos representantes, a los Sínodos de Obispos de las Iglesias Orientales Católicas sui iuris, a los Dicasterios de la Curia Romana y de la Unión de los Superiores Generales, ajustarse a dicho orden lógico.
In fixed-rate tenders, counterparties shall state in their bids the amount of money that they are willing to transact with the national central banksParaCrawl Corpus ParaCrawl Corpus
30 sinne gevind in 23 ms. Hulle kom uit baie bronne en word nie nagegaan nie.