What is the translation of " LAMBDA CALCULUS " in Spanish?

• cálculo lambda

Examples of using Lambda calculus in English and their translations into Spanish

Alonzo Church in the lambda calculus.
Alonzo Church en el cálculo lambda.

Lambda calculus can be called the smallest universal programming language.
Se puede considerar al cálculo lambda como el lenguaje universal de programación más pequeño.

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.

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.

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.

Church used lambda calculus in 1936 to give a negative answer to the Entscheidungsproblem.
Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem.

For example, Alonzo Church was able to express the lambda calculus in a formulaic way.
Por ejemplo, Alonzo Church fue capaz de expresar el cálculo lambda a través de fórmulas.

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.

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.

The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.
Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles.

Combinatory logic is a model of computation equivalent to lambda calculus, but without abstraction.
La Lógica Combinatoria es un modelo del cómputo equivalente al cálculo lambda, pero sin la abstracción.

Lisp was originally created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo Church's lambda calculus.
Lisp fue creado originalmente como una notación matemática práctica para los programas de computadora, basada en el cálculo lambda de Alonzo Church.

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.

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.

The origin of this algorithm is the type inference algorithm for the simply typed lambda calculus that was devised by Haskell Curry and Robert Feys in 1958.
Tiene sus orígenes en el algoritmo de tipos para el cálculo Lambda tipificado, el cual fue propuesto por Haskell B. Curry y Robert Feys en 1958.

The primary motivation for the study of domains, which was initiated by Dana Scott in the late 1960s, was the search for a denotational semantics of the lambda calculus.
La motivación inicial para el estudio de la teoría de dominios, que fue iniciada por Dana Scott en los años 1960, era la búsqueda de modelos del 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.

Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.
La Lógica Categórica es ahora un campo bien definido basado en la teoría de tipos para la Lógica intuicionista, con aplicaciones a la teoría de la programación funcional y la teoría de dominios, todas enmarcadas en una categoría cartesianamente cerrada como descripciones no sintácticas de el cálculo lambda.

The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Este trabajo tiene gran influencia en el área de computación teórica. El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.

Separately, John McCarthy of MIT developed the Lisp programming language(based on the lambda calculus), the first language with origins in academia to be successful.
Separadamente, John McCarthy del MIT desarrolló el lenguaje de programación Lisp(basado en el cálculo Lambda), el primer lenguaje con orígenes académicos en conseguir el éxito.

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.

A more mathematically oriented definition with a similar"universal" nature was introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church-Turing thesis.
Una definición más matemáticamente orientada, con una similar naturaleza"universal", fue presentada por Alonzo Church, cuyo trabajo sobre el cálculo lambda se entrelaza con el de Turing en una teoría formal de la computación conocida como la tesis de Church-Turing.

ARS is an abstraction from the Lambda Calculus, taking its three basic operations, and giving them a more general meaning, thus providing a foundation for the three major programming paradigms: functional programming, object-oriented programming and imperative programming.
ARS es una abstracción del cálculo lambda, tiene sus tres operaciones básicas, y le da un sentido más general, lo que proporciona una base para los tres principales paradigmas de programación: programación funcional, programación orientada a objetos y la programación imperativa.

Corrado Böhm(17 January 1923- 23 October 2017) was a Professor Emeritus at the University of Rome"La Sapienza" and a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages.
Corrado Böhm(Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional.

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: 0:= λf.λx.x 1:= λf.λx.f x 2:= λf.λx.f(f x) 3:= λf.λx.f(f(f x)) and so on.
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: 0:= λ f x. x 1:= λ f x. f x 2:= λ f x. f(f x) 3:= λ f x. f(f(f x)) y así sucesivamente.

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.

Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative"mechanical processes for computation.
Luego de revisar la tesis doctoral de Turing, demostraron que el cálculo lambda y la máquina de Turing utilizada para expresar el problema de parada tenían igual poder de expresión; posteriormente demostraron que una variedad de procesos mecánicos alternos para realizar cálculos tenían poder de cómputo equivalente.

The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the world's first programming language, even though it was intended to model computation rather than being a means for programmers to describe algorithms to a computer system.
El cálculo lambda, desarrollado por Alonzo Church y Stephen Cole Kleene en la década de 1930, es considerado uno de los primeros lenguajes de programación del mundo, incluso pese a que tenía intención de modelar la computación más que ser un medio para que los programadores describan algoritmos para un sistema informático.

ABSTRACT This thesis studies full reduction in lambda calculi.
Esta tesis estudia la reducción plena(‘full reduction'en inglés) en distintos cálculos lambda.

Operational Aspects of Full Reduction in Lambda Calculi.
Esta tesis estudia la reducción plena(‘full reduction'en inglés) en distintos cálculos lambda.

How to use "lambda calculus" in an English sentence

Also see Lambda calculus and the wikipedia lambda calculus article.

Lambda Calculus : Good intro in Lambda calculus and Functional programming.

Lambda calculus and intuitionistic linear logic.

Improving lambda calculus using wearable archetypes.

Functional Programming and Lambda Calculus (H.P.

Resource Lambda Calculus and Taylor-Ehrhard-Regnier expansion.

The lambda calculus and its variants.

Paolini: The Parametric Lambda Calculus (2004).

Impressum Fourier-Jacobi download Lambda calculus and combinators,.

Are these 2 lambda calculus terms equivalent?

How to use "cálculo lambda" in a Spanish sentence

Por ejemplo, Alonzo Church fue capaz de expresar el cálculo lambda a través de fórmulas.

Los combinadores de puntos fijos se usan para mostrar que el cálculo lambda se está completando.

Algoritmos cuánticos: Deutsch, Deutsch-Jotza, Grover, Teleportación, Codificación Superdensa, Protocolo de distribución de claves BB84 Introducción al cálculo lambda tipado.

Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930; Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem.

Sus orígenes provienen del Cálculo Lambda (o λ-cαlculo), una teoríamatemática elaborada por Alonso Church como apoyo a sus estudios sobre Computabilidad.

Las funciones que pueden ser computadas con el cálculo Lambda son exactamente aquellas que pueden ser computadas con una máquina de Turing.

Se puede considerar al cálculo lambda como el más pequeño lenguaje universal de programación.

El Cálculo Lambda fue asimismo el fundamento en que se basó el desarrollo del Lisp, pero el propio John McCarthy ha negado ese hecho3.

Reconocer el Cálculo Lambda y diseñar y ejecutar Máquinas de Turing simples.

Estos tres formalismos, las máquinas de Turing, los lenguajes formales y el cálculo Lambda son formalismos muy disímiles y fueron desarrollados por diferentes personas.