Translation of lambda calculus from English into Spanish
Noun
mathematics
- He studied lambda calculus to better understand computational frameworks.Estudió el cálculo lambda para entender mejor los marcos computacionales.
computing theory
- Lambda calculus is fundamental in understanding functional programming.El cálculo lambda es fundamental para entender la programación funcional.
Examples of lambda calculus in a sentence
Researchers use lambda calculus to model complex algorithms. Students often struggle with the concepts of lambda calculus. Lambda calculus provides a framework for analyzing algorithms.
Translations of "lambda calculus" in Context ordered by category and frequency
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: Examples and translations in context
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.
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.
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.
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.
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.
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.
See also: