Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
in the lambda calculus
Traducere "in the lambda calculus" în spaniolă
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.
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).
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.
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.
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 8. Exacte: 8. Timp de răspuns: 57 ms.
