Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus
Vertaling van "lambda calculus" in Spaans
It is the canonical and simplest example of a typed lambda calculus.
Es el ejemplo canónico y más sencillo de un cálculo lambda tipado.
Joy is based on composition of functions rather than lambda calculus.
Joy está basado en la composición de funciones en vez del cálculo lambda.
There are also functional explorations of quantum computing based on lambda calculus.
También hay exploraciones funcionales de la computación cuántica basadas en el cálculo lambda.
Many functional programming languages can be viewed as elaborations on the lambda calculus.
Muchos lenguajes de programación funcionales pueden ser vistos como elaboraciones del cálculo lambda.
Lambda calculus can be called the smallest universal programming language.
Se puede considerar al cálculo lambda como el más pequeño lenguaje universal de programación.
Okay, I'll just say one more thing Lambda calculus.
Vale, solo diré una cosa más: cálculo lambda.
Lambda calculus is universal in the sense that any computable function can be expressed and evaluated using this formalism.
El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él.
No general algorithm can answer the question of whether two lambda calculus expressions are equivalent.
El interrogante de si dos expresiones del cálculo lambda son equivalentes no puede ser resuelto por un algoritmo general.
Okay, I'll just say one more thing: Lambda Calculus.
Solo diré algo más: cálculo lambda.
The needs of thoroughly intensional theories such as untyped lambda calculus have been met in denotational semantics.
Las necesidad de teorías a fondo de lo intencional, por ejemplo cálculo lambda no tipeado, se han resuelto dentro de la semántica denotacional.
Computable functions and lambda calculus[edit]
Funciones computables y el cálculo lambda[editar]
In the typed lambda calculus, the turnstile is used to separate typing assumptions from the typing judgment.
En el cálculo lambda escrito, el torniquete se utiliza para supuestos de escritura separados de la sentencia a escribir.
An important theorem, in fact, of lambda calculus is that both strategies reduce to
Un teorema importante, de hecho, de cálculo lambda es que ambas estrategias se reducen a
Synoniemen voor lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 108. Exact: 94. Verstreken tijd: 58 ms.
