Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
lambda calculus
Traducere "lambda calculus" în portugheză
Its structure is determined by the limitations of lambda calculus.
A sua estrutura é determinada pelos limites do cálculo lambda.
For instance, they do not exist in simply typed lambda calculus.
Por exemplo, eles não existem no cálculo lambda simplesmente tipado.
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.
Frequently, in uses of lambda calculus, equivalent terms are considered to be equivalent.
Freqüentemente, no lambda cálculo, termos alfa-equivalente são considerados equivalentes.
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 lambda calculus uses a similar approach.
Uma abordagem similar é o cálculo lambda.
It is the canonical and simplest example of a typed lambda calculus.
Esse é o exemplo mais simples e canônico de um cálculo lambda com tipagem.
A classic example is the lambda calculus.
Um exemplo clássico é o Lambda Cálculo.
A classic example is lambda calculus.
Um exemplo clássico é o cálculo lambda.
These are the typed lambda calculus representations of the basic combinators of combinatory logic.
Essas são as representações no lambda cálculo tipado dos combinadores básicos da lógica combinatória.
Another aspect of the untyped lambda calculus is that it does not distinguish between different kinds of data.
Outro aspecto do lambda cálculo não tipado é que ele não faz distinção entre diferentes tipos de dados.
Kappa-calculus can be regarded as "a reformulation of the first-order fragment of typed lambda calculus".
Kappa-cálculo pode ser considerado como "uma reformulação do fragmento de primeira-ordem do cálculo lambda tipado".
Howard showed that the correspondence extends to other connectives of the logic and other constructions of simply typed lambda calculus.
Howard mostrou que a correspondência estende-se para outros conectivos da lógica e outras construções do lambda cálculo simplesmente tipado.
Sinonime și analogii pentru "lambda calculus" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Sugestii
Rezultate: 159. Exacte: 159. Timp de răspuns: 47 ms.
