LAMBDA CALCULUS in Portuguese translation

• cálculo lambda
• lambda calculo
• lambda calculus

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

His conclusion may be stated as saying that combinatory logic and lambda calculus cannot be made consistent as deductive languages,
Sua conclusão pode ser declarado como tendo dito que a lógica combinatória e Lambda cálculo não poderia ser coerente

In lambda calculus, functions are taken to be'first class values',
Em lambda cálculo, funções são consideradas como valores, então elas podem

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.

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.

Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus..
Como a abstração é a única forma de montagem de funções em lambda cálculo, deve-se criar um substituto no cálculo combinatório.

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.

other connectives of the logic and other constructions of simply typed lambda calculus.
a correspondência estende-se para outros conectivos da lógica e outras construções do lambda cálculo simplesmente tipado.

Howard's correspondence naturally extends to other extensions of natural deduction and simply typed lambda calculus.
A correspondência de Howard naturalmente estende-se para outras extensões da dedução natural e lambda cálculo simplesmente tipado.

other paradoxes arise in Lambda calculus because of the inconsistency of Lambda calculus considered as a deductive system.
outros paradoxos surgem em Lambda Calculus devido à inconsistência de Lambda cálculo considerada como um sistema dedutivo.

Usage and notation==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.

A lambda calculus system with the normalization property can be viewed as a programming language with the property that every program terminates.
Um sistema de cálculo lambda com a propriedade da normalização pode ser visto como uma linguagem de programação com a propriedade de que todo programa para.

If one takes lambda calculus for this class of function,
Se considerarmos o Cálculo lambda como definição do conceito de uma função,

A prime example is Dana Scott's model of untyped lambda calculus in terms of objects that retract onto their own function space.
Um belo exemplo é o modelo de Dana Scott de cálculo lambda não tipado em termos de objetos que têm como retrato algébrico de suas próprias funções no espaço.

An interpreter for the quantum lambda calculus was implemented using the functional programming language haskell.
Um interpretador para o cálculo lambda quântico de van tonder foi implementado utilizando-se a linguagem de programação funcional haskell.

If one takes lambda calculus as defining the notion of a function,
Se considerarmos o Cálculo lambda como definição do conceito de uma função,

peculiar to combinatory logic; The lambda calculus, with the same expressive power as combinatory logic,
peculiar combinação da lógica; O cálculo lambda, com o mesmo poder expressivo que a combinatória lógica,

In the lambda calculus, a term is in beta normal form if no"beta reduction" is possible.
Na teoria do cálculo lambda, um termo se encontra na forma normal beta se não é possível nenhuma redução beta.

A lambda calculus mathematician may see the Y combinator applied to a function as being an expression satisfying the fixed point equation,
Um matemático no cálculo lambda pode ver o combinador Y aplicado a uma função como sendo uma expressão que satisfaça a equação de ponto fixo,

This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying,
Esse mecanismo de substituição simplificou o trabalho tanto na lógica combinatória quanto no cálculo lambda, sendo posteriormente chamado"currying",

In the lambda calculus there are a number of combinator(implementations)
No cálculo lambda, há uma série de combinadores(implementações)