Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
in the lambda calculus
Vertaling van "in the lambda calculus" in Spaans
en el cálculo lambda
Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.
Puesto que la abstracción es la única manera de fabricar funciones en el cálculo lambda, algo debe sustituirlo en el cálculo combinatorio.
It is possible to identify terms in the lambda calculus, which, when suitably interpreted, behave like the number 3 and like the multiplication operator, q.v.
Es posible identificar los términos que en el cálculo lambda, cuando están interpretados convenientemente, se comportan como el número 3 y el operador de la multiplicación.
As described above, all functions in the lambda calculus are anonymous functions, having no names.
En el cálculo lambda, todas las expresiones representan funciones anónimas de un solo argumento.
Alonzo Church in the lambda calculus.
Alonzo Church en el cálculo lambda.
In the lambda calculus, the hybrid nature amounts to a 'phase distinction' in the treatment of abstractions when considered either from outside or from inside themselves.
En el cálculo lambda la naturaleza híbrida se manifiesta como una 'distinción de fase' en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas.
In the lambda calculus it is not possible to refer to the definition of a function in a function body.
En el cálculo lambda, no es posible definir funciones que se incluyan a sí mismas.
Y:= g (x x)) In the lambda calculus, Y g is a fixed-point of g, as it expands to
En el cálculo lambda, Y g es un punto fijo de g, debido a que expande a g (Y g).
Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.
Puesto que la abstracción es la única manera de fabricar funciones en el cálculo lambda, algo debe sustituirlo en el cálculo combinatorio.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 52 ms.
