Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
in lambda calculus
Traducere "in lambda calculus" în spaniolă
en el cálculo lambda
It is possible to identify terms in 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.
Moreover, in lambda calculus, notions such as '3' and' {\displaystyle } 'can be represented without any need for externally defined primitive operators or constants.
Por otra parte, en el cálculo lambda, nociones tales como '3' y ' ' puede ser representado sin ninguna necesidad de operadores primitivos externamente definidos o de constantes.
The distinction between open and closed operands (operands = arguments + target) corresponds to the distinction between bound and free variables in lambda calculus.
La distinción entre operandos abiertos y cerrados (operandos = argumentos + target) corresponde a la distinción entre las variables libres i ligades en el cálculo lambda.
Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation (including Turing machines); that is, any calculation that can be accomplished in any of these other models can be expressed in lambda calculus, and vice versa.
El cálculo lambda es computacionalmente equivalente en poder a muchos otros modelos plausibles para el cómputo (máquinas de Turing incluidas); es decir, cualquier cálculo que se pueda lograr en cualesquiera de estos otros modelos se puede expresar en el cálculo lambda, y viceversa.
There are several possible ways to define the natural numbers in lambda calculus, but by far the most common are the Church numerals, which can be defined as follows
Hay varias formas posibles de definir los números naturales en el cálculo lambda, pero el más común son los números de Church, que pueden definirse como sigue
Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate computability, the Entscheidungsproblem, function definition, function application, and recursion.
La programación funcional tiene sus raíces en el cálculo lambda, un sistema formal desarrollado en los años 1930 para investigar la definición de función, la aplicación de las funciones y la recursión.
Then he assumes that this predicate is computable, and can hence be expressed in lambda calculus.
Entonces se asume que este predicado es computable y que puede ser expresado de aquí en adelante en notación de cálculo lambda.
Arithmetic in lambda calculus[edit]
Cálculos aritméticos con lambda[editar]
Arithmetic in lambda calculus[edit]
Sumario del cálculo lambda[editar]
Then he assumes that this predicate is computable, and can hence be expressed in lambda calculus.
Entonces se asume que este predicado es computable y que puede ser expresado de aquí en adelante en notación de cálculo lambda.
The distinction between open and closed operands (operands = arguments + target) corresponds to the distinction between bound and free variables in lambda calculus.
La distinción entre operandos abiertos y cerrados (operandos = argumentos + target) corresponde a la distinción entre las variables libres i ligades en el cálculo lambda.
Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation (including Turing machines); that is, any calculation that can be accomplished in any of these other models can be expressed in lambda calculus, and vice versa.
El cálculo lambda es computacionalmente equivalente en poder a muchos otros modelos plausibles para el cómputo (máquinas de Turing incluidas); es decir, cualquier cálculo que se pueda lograr en cualesquiera de estos otros modelos se puede expresar en el cálculo lambda, y viceversa.
Sinonime și analogii pentru "in lambda calculus" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Sugestii
Rezultate: 12. Exacte: 12. Timp de răspuns: 37 ms.
