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

• cálculo lambda
• lambda calculo
• lambda calculus

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

See also deductive lambda calculus.
Veja também lambda cálculo dedutivo.

Lambda calculus is a consistent theory in its own domain.
Lambda calculo é uma teoria consistente em seu próprio domínio.

A classic example is lambda calculus.
Um exemplo clássico é o cálculo lambda.

In the lambda calculus, x is a bound variable in the term M λx.
No cálculo lambda, x é uma variável ligada no termo M λ x.

Curry's paradox may be expressed in Lambda calculus.
Paradoxo de Curry pode ser expresso em cálculo lambda.

John's Lambda Calculus and Combinatory Logic Playground.
John's Lambda Calculus and Combinatory Logic Playground em inglês.

Its structure is determined by the limitations of lambda calculus.
A sua estrutura é determinada pelos limites do cálculo lambda.

There is no concept in lambda calculus of variable declaration.
Em lambda cálculo não existe o conceito de declaração de variáveis.

This is true in general mathematics and it must be true in lambda calculus.
Em geral isto é verdade em matemática e deve ser verdade em cálculo lambda.

In the lambda calculus, a beta redex is a term of the form: λ x.
No cálculo lambda, uma redex do tipo beta é um termo da forma λ x.

Lambda terms describe values from the lambda calculus domain.
Termos Lambda descrever valores do domínio cálculo lambda.

In untyped lambda calculus fixed-point combinators are not especially rare.
Em cálculo lambda não tipado combinadores de ponto fixo não são especialmente raros.

The Y combinator is an example of what makes the Lambda calculus inconsistent.
O combinador Y é um exemplo do que faz o cálculo lambda inconsistente.

Lambda calculus allows recursion by passing the same function that is called as a parameter.
Lambda cálculo permite recursão fazendo passar a mesma função que chamado, como um parâmetro.

The Y combinator is an implementation of a fixed-point combinator in lambda calculus.
O combinador Y é uma implementação do combinador de ponto fixo em cálculo lambda.

In the lambda calculus it is not possible to refer to the definition of a function in a function body.
No cálculo lambda não é possível remeter para a definição de uma função de um corpo da função.

This is the same general convention(left-associativity) as for multiple application in lambda calculus.
A mesma convenção é usada na aplicação múltipla do cálculo lambda.

The implementation in lambda calculus is more difficult due to limitations in lambda calculus.
A implementação no cálculo lambda é mais difícil devido às limitações no cálculo lambda.

Note that the Y combinator is a particular implementation of a fixed point combinator in lambda calculus.
Note que o combinador Y é uma implementação específica de um combinador de ponto fixo em cálculo lambda.

Lambda calculus and programming languages regard function identity as an intensional property.
O cálculo lambda e as linguagens de programação consideram a função identidade como uma propriedade intensional.

The syntax of the simply typed lambda calculus is essentially that of the lambda calculus itself.
A sintaxe do cálculo lambda simplesmente tipado é essencialmente a mesma do cálculo lambda.

Alternately a function may be considered as a lambda term defined purely in lambda calculus.
Alternativamente uma função pode ser considerada como um termo puramente lambda definido no cálculo lambda.

For the lambda calculus mathematician, this is a consequence of the definition of lambda calculus.
Para o matemático no cálculo lambda, esta é uma consequência da definição do cálculo lambda.

Conversely, combinatory logic and simply typed lambda calculus are not the only models of computation.
Reciprocamente, lógica combinatória e lambda calculo simplesmente tipado não são os únicos modelos computacionais.

Church used Lambda calculus, Turing an idealized computer, and later Emil Post in his approach, all of which are equivalent.
Church usou Cálculo lambda, Turing um computador idealizado, e mais tarde Emil Post sua abordagem, sendo todas equivalentes.

In this article the author uses arguments based on lambda calculus to show why software cannot be patented.
Neste artigo o autor usa argumentos baseados no cálculo lambda para demostrar por que o software não pode ser patenteado.

This is the core of the problem that Stephen Cole Kleene and then Haskell Curry discovered with combinatory logic and Lambda calculus.
Este é o cerne do problema que Stephen Cole Kleene e, em seguida, Haskell Curry descobriu com lógica combinatória e Lambda calculus.

The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.
Lambda cálculo foi apresentada por Alonzo Church na década de 1930 como parte da investigação dos fundamentos da matemática.

Z is based on the standard mathematical notation used in axiomatic set theory, lambda calculus, and first-order predicate logic.
Z é baseada na notação matemática padrão usada no axioma da teoria dos conjuntos, cálculos lambda, e lógica predicada de primeira ordem.

Unlike lambda calculus, kappa calculus has no higher-order functions; its functions are not first class objects.
Ao contrário do cálculo lambda, o cálculo kappa não tem funções de ordem superior; as suas funções não são objetos de primeira classe.