Examples of using Cálculo lambda in Portuguese and their translations into English
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
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.
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.
Usage and notation==Z is based on the standard mathematical notation used in axiomatic set theory, lambda calculus, and first-order predicate logic.Por exemplo, eles não existem no cálculo lambda simplesmente tipado.
For instance, they do not exist in simply typed lambda calculus.O Paradoxo Kleene-Rosser mostrou que o cálculo lambda original era inconsistente.
realizou um trabalho importante em cálculo lambda.
he did important work on Church's lambda calculus.O combinador Y é um exemplo do que faz o cálculo lambda inconsistente.
Cálculo lambda sem tipo é Turing-completo,
The untyped lambda calculus is Turing-complete,Cálculo lambda sem tipo é Turing-completo,
The untyped lambda calculus is Turing complete,Por exemplo, Alonzo Church foi capaz de expressar o cálculo lambda de uma maneira formalizada.
For example, Alonzo Church was able to express the lambda calculus in a formulaic way.Iteração de ponto fixo Anonymous function Cálculo lambda Let expression Lambda lifting Peyton Jones,
Fixed-point iteration Anonymous function Lambda calculus Let expression Lambda lifting Peyton Jones,A representação utilizada acima não é a única forma de se definir a sintaxe do cálculo lambda simplesmente tipado.
The presentation given above is not the only way of defining the syntax of the simply typed lambda calculus.Um interpretador para o cálculo lambda quântico de van tonder foi implementado utilizando-se a linguagem de programação funcional haskell.
An interpreter for the quantum lambda calculus was implemented using the functional programming language haskell.modelo computacional que pode ser percebido como uma versão reduzida do cálculo lambda não tipado.
is a combinatory logic, a computational system that may be perceived as a reduced version of the untyped lambda calculus.que depois ficou conhecida como cálculo lambda não-tipado.
what is now called the untyped lambda calculus.Na teoria do cálculo lambda, um termo se encontra na forma normal beta se não é possível nenhuma redução beta.
In the lambda calculus, a term is in beta normal form if no"beta reduction" is possible.No cálculo lambda, há uma série de combinadores(implementações)
In the lambda calculus there are a number of combinator(implementations)Cálculo lambda tipado===Vários sistemas de cálculo lambda tipado incluindo o cálculo lambda simplesmente tipado, o Sistema F de Jean-Yves Girard,
Typed Ao traduzir expressões de matemática para cálculo lambda o domínio de termos de cálculo nem sempre é isomorfo ao domínio das expressões matemáticas.
When translating expressions from mathematics to lambda calculus, the domain of com um sistema lógico consistente, conhecido como cálculo lambda simplesmente tipado.
logically consistent system, known as the simply typed lambda calculus.originalmente foi formulado para a lógica intuicionista e para o cálculo lambda simplesmente tipado.
which was originally formulated for intuitionistic logic and simply typed lambda calculus.
