Teoría de tipos oor Engels
Teoría de tipos
Vertalings in die woordeboek Spaans - Engels
type theory
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Este no es sino una reformulación del de la teoría de tipos incluido en PM.
You dance really goodLiterature Literature
La armazón de esta construcción está constituida por la famosa teoría de tipos.
You are forgetting nothing, are you?Literature Literature
Al diseño y estudio formal de los sistemas de tipos se le conoce como teoría de tipos.
The potential risk for humans is unknownWikiMatrix WikiMatrix
La teoría de tipos de Russell, presentada en los Principia Mathematica, usa esta estrategia.
Aid is granted for the purchase of land and buildings necessary for farmers' needsLiterature Literature
La propia teoría de tipos era cuestionable.
Neil, do you read me?Literature Literature
La «teoría de tipos» de Berrrand Russell naufragó en los bajíos de la declaración «Soy un mentiroso».
Guys, I saw the signLiterature Literature
Pronto se vio que la teoría de no-clases no se diferencia en esencia de la teoría de tipos.
About six feetLiterature Literature
Fue una teoría de tipos médicos, basada a su vez en la de los cuatro elementos que indicamos antes.
Can' t you be silent in Japan?Literature Literature
La Teoría de los Tipos Lógicos, la Teoría de la Información y análogas, serán, así es de esperar, nuestras guías.
The fact is, young Will has not yet developed the social skills... to adapt to the rarefied atmosphere of Bel- Air Academy... or parties in MalibuLiterature Literature
Sin embargo, su artículo de 1958 en Dialectica mostró cómo la teoría de tipos puede ser usada para dar una prueba de consistencia de la aritmética.
You' re on your ownWikiMatrix WikiMatrix
El taller ayudó a elevar el perfil de la que podría ser la novedad más prometedora en lógica matemática: la iniciativa de vincular homotopía y teorías de tipos.
We have agreed that it should not exceed 30 km, and possibly 50 km in exceptional cases. Indeed by increasing the border area, we could find that it would no longer be possible to meet security standards.cordis cordis
En The Continuum Weyl desarrolló el análisis predicativo usando los niveles bajos de la teoría ramificada de tipos de Russell.
We' re going to get you out of hereWikiMatrix WikiMatrix
Un ejemplo de la teoría Maradona de tipos de interés en acción se vio en el Reino Unido en 2002.
they must be trained menLiterature Literature
Este tipo romántico de poesía es lo que tiene en mente cuando dice: «Teorías de los tipos de poesía tenemos ya muchas.
something that you can doLiterature Literature
Las moléculas orgánicas podían agruparse así en familias o tipos (de ahí el nombre de teoría de los tipos).
It don' t get no sweeter than thatLiterature Literature
Feminista standpoint la teoría es una de los tipos de teoría crítica, su intención principal es para mejorar su situación.
Oh, come on, man.Hey, man! The can' s down the hallWikiMatrix WikiMatrix
Philip Lee "Phil" Wadler (nacido el 8 de abril de 1956) es un científico de la computación estadounidense conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos.
Aren' t those the words that clever little man wrote, the one who stole his name from our capital, that something or other BerlinWikiMatrix WikiMatrix
La aplicación de la teoría de tipos como una disciplina a los lenguajes de programación, liderada por Milner; esta aplicación ha conducido a un tremendo avance en la teoría de tipos en cuestión de años.
Looks like this might not be such a slow night after allWikiMatrix WikiMatrix
Implicó relaciones entre la teoría de las categorías y la lógica matemática, y también (como discusión de alto nivel, organizativa) entre la teoría de las categorías y la informática teórica basada en la teoría de tipos.
Subject to paragraph #, any transfer of a person to be readmitted on the basis of the obligations contained in Articles # and # shall require the submission of a readmission application to the competent authority of the Requested StateWikiMatrix WikiMatrix
Con el tiempo, en 1906, Russell acabó por resolver la paradoja mediante su teoría de los tipos.
Now, which people are you?Literature Literature
Consiguió gastar diez minutos sólo en reconstruir la teoría de los tipos de Bertrand Russell.
Oh, boy.These old wings ain' t what they used to beLiterature Literature
Unas puramente lógicas o matemáticas, que pueden resolverse sencillamente con su teoría de los tipos.
lf there are other explanation for itLiterature Literature
Desarrolló una lógica constructiva, una teoría de los tipos constructiva y un análisis constructivo.
Where were you today at #: #?WikiMatrix WikiMatrix
Ésta es su teoría de los tipos.
A relative of Evelyne?Take that out of your mouthLiterature Literature
Waismann: La teoría de los tipos no significa lo mismo que en Russell, aunque, en principio, subsiste.
McMurphy, what' re you trying to do?Get my ass really fired?Literature Literature
1126 sinne gevind in 20 ms. Hulle kom uit baie bronne en word nie nagegaan nie.