Translation of "predicate calculus" to Spanish language:

Dictionary English-Spanish

Calculus - translation :

Predicate - translation :

Keywords : Cálculo Cálculo Diferencial Calculo Cálculos

Examples (External sources, not reviewed)

This sentence has a predicate but no subject.	Esta oración tiene un predicado pero ningún sujeto.
You know, calculus is wonderful.	ya sé, el cálculo es maravilloso.
1665 Isaac Newton works on the fundamental theorem of calculus and develops his version of infinitesimal calculus.	1665 Isaac Newton trabaja en su teorema fundamental del cálculo y desarrolla su versión del cálculo infinitesimal.
No calculus, I'll cut out that.	No cálculo, esto lo descarto.
Greg Lynn on calculus in architecture	Greg Lynn habla del cálculo en la arquitectura
A Cool Calculus of Global Warming	Un cálculo escalofriante del calentamiento del planeta
A positional predicate must evaluate to a single numeric value.	Un predicado posicional debe evaluar como un valor numérico sencillo.
Calculus is also a mathematics of curves.	El cálculo es también matemática de curvas.
It appears that the predicate for this action is not valid.	Parece que el predicado de esta acción no es válido.
So calculus has traditionally been taught very late.	Tradicionalmente el cálculo se enseñaba muy tarde.
However, new evidence may be altering the economic calculus.	Sin embargo, nuevas pruebas pueden estar modificando el cálculo económico.
The West should facilitate this change in his calculus.	Occidente debería facilitar este cambio en su cálculo.
1629 Pierre de Fermat develops a rudimentary differential calculus.	1629 Pierre de Fermat desarrolla un rudimentario cálculo diferencial.
This is actually from one of the original calculus videos.	Ésta de hecho es de uno de los videos de cálculo originales.
When I was a kid, I was a calculus whiz.	Cuando niño, era un genio para el cálculo.
1673 Gottfried Leibniz also develops his version of infinitesimal calculus.	1673 Gottfried Leibniz también desarrolla su versión de cálculo infinitesimal.
So, even a straight line, defined with calculus, is a curve.	Incluso una línea recta, definida por el cálculo, es una curva.
I mean, don't get me wrong. Calculus is an important subject.	Lo digo en serio, no me mal interpreten. El cálculo es una materia importante.
That's because we're all using calculus tools for manufacturing and for design.	Por eso usamos herramientas de cálculo en la fabricación y el diseño.
Was it Leibniz or Newton who first formulated the theory of calculus?	Fue Leibniz o fue Newton quién formuló antes la teoría del cálculo?
A wider range of predicate offences facilitates suspicious transaction reporting and international cooperation in this area .	La ampliación del abanico de delitos subyacentes facilita la notificación de las transacciones sospechosas y la cooperación internacional en este ámbito .
(c) Establishing the offence of trafficking in persons as a predicate offence for money laundering offences	c) Tipificar la trata de personas como delito determinante del delito de blanqueo de dinero
If Isaac Newton had done YouTube videos on calculus, I wouldn't have to.	Si Isaac Newton hubiera puesto videos de cálculo en YouTube, yo no tendría que hacerlos.
The best example of this would probably be the Gothic, and the Gothic was invented after the invention of calculus, although the Gothic architects weren't really using calculus to define their forms.	El mejor ejemplo de esto sería el Gótico, y el Gótico se inventó después del cálculo, aunque los arquitectos góticos no calculaban para definir sus formas.
I had science projects and tons of astronomy books. I took calculus and philosophy.	La gente me pregunta, Por qué llevaste lo que llevaste?
She's three months old. She still poops in her diapers and she can't do calculus.	Ella tiene tres meses de edad. Aún se hace popó en los pañales y no puede hacer cálculos matemáticos.
(a) Each State Party shall seek to apply paragraph 1 of this article to the widest range of predicate offences	a) Cada Estado Parte velará por aplicar el párrafo 1 del presente artículo a la gama más amplia posible de delitos determinantes
The benefits for the North would drastically change the regime s strategic calculus, particularly concerning nuclear weapons.	Los beneficios para el Norte cambiarían radicalmente el cálculo estratégico del régimen, especialmente en lo referente al armamento nuclear.
And he goes, Ahh, okay okay, eehto, World History, ehh, Calculus, Traditional Japanese. And so on.	y me dijo Ahh, bueno, bueno, eetho, Historia Mundial, ehh, Cálculo, Japonés Tradicional . Y así.
The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic.	El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal razonablemente rica, tal como la aritmética de Peano.
Much later, Robert Maillart's bridges, which optimize structural form with a calculus curvature almost like a parabola.	Mucho después, los puentes de Robert Maillart, que optimizan la forma estructural con una curvatura casi parabólica.
1696 Jakob Bernoulli and Johann Bernoulli solve brachistochrone problem, the first result in the calculus of variations.	1696 Jakob Bernoulli y Johann Bernoulli resuelven el problema de la braquistócrona, el primer resultado en el cálculo de variaciones.
To just talk for a minute about the digital mediums that we're using now and how they integrate calculus the fact that they're calculus based means that we don't have to think about dimension in terms of ideal units or discreet elements.	Voy a hablar un minuto de los medios digitales que usamos y de cómo integran el cálculo. El hecho de que están basados en el cálculo quiere decir que no tenemos que pensar en la dimensión en términos de unidades ideales o elementos discretos.
(b) Each State Party shall include as predicate offences at a minimum a comprehensive range of criminal offences established in accordance with this Convention	b) Cada Estado Parte incluirá como delitos determinantes, como mínimo, una amplia gama de delitos tipificados con arreglo a la presente Convención
Greece s membership in the European Union gives its creditors significant leverage, but evidently not enough to change the fundamental calculus.	La pertenencia de Grecia a la Unión Europea permite a sus acreedores ejercer considerable influencia sobre el país, pero evidentemente no tanta como para cambiar el hecho básico.
With calculus, the whole idea of subdivision is more complex, because the whole and the parts are one continuous series.	En el cálculo esta idea de subdivisión es más compleja porque el todo y las partes son una serie continua.
But it is extraordinary how much of the disembodied calculus of my Woody Allen lookalike still prevails in today s nuclear policymaking.	Pero es increíble hasta qué punto la fría lógica de aquel doble de Woody Allen sigue presente en la política nuclear de nuestros días.
It's too early in the morning for a lecture on calculus, so I brought some images to just describe how that works.	Es muy temprano para una lección de cálculo, así que traje unas imágenes para describir cómo funciona.
Now, the only way we could design that, or possibly construct it, is by using a calculus based definition of the form.	La única forma de diseñar algo así o incluso de construirlo es con una definición basada en el cálculo de la forma.
1987c (with Vann McGee), The degree of the set of sentences of predicate provability logic that are true under every interpretation, Journal of Symbolic Logic 52 165 171.	1987c (with Vann McGee), The degree of the set of sentences of predicate provability logic that are true under every interpretation, Journal of Symbolic Logic 52 165 171.
By contrast, a purely Benthamite view would lead to a view of politics as a set of disparate decisions based on a disembodied utilitarian calculus.	Por el contrario, una visión ceñida exclusivamente a Bentham, llevaría a considerar la política como un conjunto de decisiones desconectadas basadas en un cálculo utilitario inmaterial.
(b) Each State Party shall include as predicate offences all serious crime as defined in article 2 of this Convention and the offences established in accordance with articles 5, 8 and 23 of this Convention. In the case of States Parties whose legislation sets out a list of specific predicate offences, they shall, at a minimum, include in such list a comprehensive range of offences associated with organized criminal groups	b) Cada Estado Parte incluirá como delitos determinantes todos los delitos graves definidos en el artículo 2 de la presente Convención y los delitos tipificados con arreglo a los artículos 5, 8 y 23 de la presente Convención. Los Estados Parte cuya legislación establezca una lista de delitos determinantes incluirán entre éstos, como mínimo, una amplia gama de delitos relacionados con grupos delictivos organizados
It was so simple, in fact, that I suspect a really smart high school student, who didn't even have calculus, could understand what he wrote down.	Tan sencillo que pienso que un estudiante de secundaria bien listo, aunque no hubiera visto cálculo, podría entender lo que él escribió.
Although initially limited to drugs offences , there has been a trend in recent years towards a much wider definition of money laundering based on a broader range of predicate or underlying offences .	Aunque al principio se limitara a delitos relacionados con el tráfico de estupefacientes , en los últimos años se ha tendido a definir el blanqueo de capitales de manera mucho más amplia , tomando en consideración una gama mucho más extensa de delitos subyacentes .
(h) Predicate offence shall mean any offence as a result of which proceeds have been generated that may become the subject of an offence as defined in article 6 of this Convention	h) Por delito determinante se entenderá todo delito del que se derive un producto que pueda pasar a constituir materia de un delito definido en el artículo 6 de la presente Convención

Muestra esta página en español