Translation of "lambda value" to Portuguese language:

Dictionary English-Portuguese

Value - translation :

Keywords : Valor Valorizo Valores Sentimental Preço

Examples (External sources, not reviewed)

In the system of Greek numerals lambda has a value of 30.	No sistema numérico grego vale 30.
A valid lambda calculus expression is called a lambda term .	Termos lambda A sintaxe de termos lambda é particularmente simples.
The lambda calculus The lambda calculus consists of a language of lambda terms, which is defined by a certain formal syntax, and a set of transformation rules, which allow manipulation of the lambda terms.	O cálculo lambda O cálculo lambda consiste de uma linguagem de termos lambda junto com uma teoria equacional (que pode também ser entendida operacionalmente).
The following three rules give an inductive definition that can be applied to build all syntactically valid lambda terms a variable, formula_3, is itself a valid lambda term if formula_20 is a lambda term, and formula_3 is a variable, then formula_22 is a lambda term (called a lambda abstraction) if formula_20 and formula_24 are lambda terms, then formula_25 is a lambda term (called an application).	Existem três maneiras de obtê las um termo lambda pode ser uma variável, x se t é um termo lambda, e x é uma variável, então λx.t é um termo lambda (chamado abstração lambda) se t e s são termos lambda, então ts é um termo lambda (chamado aplicação).
Formal definition Definition Lambda expressions are composed of variables v1, v2, ..., vn, ... the abstraction symbols lambda 'λ' and dot '.	Definição formal Expressões lambda são compostas por variáveis v1, v2, , vn símbolos abstratos λ (lambda) e .
Wavelength is commonly designated by the Greek letter lambda (λ).	É usualmente representado pela letra grega lambda (λ).
Lambda indicates the radioactivity decay constant in nuclear physics and radioactivity.	Em Física Nuclear, lambda representa meia vida .
Lambda calculus in history of mathematics The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.	História Cálculo lambda foi apresentada por Alonzo Church na década de 1930 como parte da investigação dos fundamentos da matemática.
The Greek letter lambda, which features prominently on the game's packaging and story, represents the related decay constant, as well as the Lambda Complex featured in the game.	A letra grega lambda, que é apresentada com destaque nas embalagens e na história do jogo, representa a relacionada constante de decaimento como também o Complexo Lambda apresentado no jogo.
In many presentations, it is usual to identify alpha equivalent lambda terms.	Em muitos casos, é fácil de identificar termos lambda equivalentes.
B. Rosser by use of Church's lambda calculus and Gödel's recursion theory (1934).	B. Rosser pelo uso do lambda cálculo de Church e a teoria da recursão de Gödel (1934).
Alpha equivalence A basic form of equivalence, definable on lambda terms, is alpha equivalence.	Alfa equivalência Uma forma básica de equivalência, definida para termos lambda, é chamada de alfa equivalência.
Lambda (uppercase ', lowercase ' lam(b)da ) is the 11th letter of the Greek alphabet.	Λ (minúscula λ) ou lambda é a décima primeira letra do alfabeto grego.
In genetics, is the abbreviation for locus, as in IGL for immunoglobulin lambda locus .	Em genética, ela é uma abreviação de locus, como IGL para immunoglobulin lambda locus .
History The Cyrillic letter El was derived from the Greek letter lambda (Λ λ).	Originou se da letra grega lambda (Λ).
As described above, all functions in the lambda calculus are anonymous functions, having no names.	Como os nomes de funções são uma mera conveniência, o cálculo lambda não tem interesse em nomear uma função.
Lambda calculus has played an important role in the development of the theory of programming languages.	A parte relevante de cálculo lambda para computação ficou conhecida como cálculo lambda não tipado.
Free variables The free variables of a term are those variables not bound by a lambda abstraction.	Variáveis livres As variáveis livres de um termo são aquelas variáveis que não são ligadas por uma abstração lambda.
The Lambda CDM model of galaxy formation underestimates the number of thin disk galaxies in the universe.	Assim, a distribuição das galáxias está intimamente relacionada com a física do Universo primordial.
The terms formula_3 and formula_4 are not alpha equivalent, because they are not bound in a lambda abstraction.	Perceba que os termos x e y não são alfa equivalentes, porque eles não estão ligados por uma abstração lambda.
In the spectral decomposition of matrices, lambda indicates the diagonal matrix of the eigenvalues of the matrix (mathematics).	Λ representa uma matriz diagonal onde as entradas são os autovalores da matriz A, com decomposição espectral formula_4.
Nominal value Nominal value	Valor nominal Valor nominal
Nominal value Nominal value	2.3 . Valor nominal
In 1940, he also introduced a computationally weaker, but logically consistent system, known as the simply typed lambda calculus.	Em 1940, ele também apresentou uma versão computacionalmente mais fraca, mas com um sistema lógico consistente, conhecido como cálculo lambda simplesmente tipado.
f (lambda (n) ( n 12)))(f 6) 18 Assigning the result of an expression to the same variable (set!	Em Scheme, a divisão é representada por (quotient a b), e a operação de mod é representada por (remainder a b).
Lambda is a unit of volume, synonymous with one microliter (1 μL), that is, one cubic millimetre (1 mm3).	Em Ciência da computação, cálculo lambda (λ calculus) é um modelo matemático para definição de funções.
All value is perceived value.	Todo o valor é valor percebido.
To fix this, Einstein modified the general theory by introducing a new notion, the cosmological constant, which he called Lambda .	Para corrigir isso, modificou a teoria geral através da introdução de uma nova noção, a constante cosmológica.
The average number of particles in the Debye sphere is given by the plasma parameter, Λ (the Greek letter Lambda).	O número médio de partículas na esfera de Debye é representado pelo parâmetro de plasma Λ (a letra grega lambda).
It captures the intuition that the particular choice of a bound variable, in a lambda abstraction, does not (usually) matter.	Ela determina que a escolha da variável ligada, na abstração lambda, não importa (normalmente).
For instance, formula_48 and formula_58 are alpha equivalent lambda terms, and they both represent the same function (the identity function).	Por exemplo, λx.x e λy.y são termos lambda alfa equivalentes, representando a mesma função identidade.
A post on the Facebook page of Lambda Mozi, an organization which defends the rights of sexual minorities, summarizes the problem	Uma publicação na página de Facebook da Lambda Mozi, uma organização que defende os direitos das minorias sexuais, resume assim o problema
Subsequently, in 1936 Church isolated and published just the portion relevant to computation, what is now called the untyped lambda calculus.	Em seguida, em 1936, Church isolou e publicou apenas a computação e que depois ficou conhecida como cálculo lambda não tipado.
He arrives at the Lambda Complex, where scientists developed the teleportation technology that allowed travel to Xen in the first place.	Ele chega ao Complexo Lambda, onde cientistas desenvolveram a tecnologia de teletransporte responsável por possibilitar as viagens a Xen.
Nominal value or repo cost Nominal value	Valor nominal ou custo do acordo de recompra Valor nominal
NCBs must report debt securities at nominal value ( i. e face value ) and quoted shares at market value ( i. e transaction value ) .	Os BCN devem reportar os títulos de dívida pelo valor nominal ( facial ) e as acções cotadas pelo valor de mercado ( transacção ) .
Market value is also distinct from fair value in that fair value depends on the parties involved, while market value does not.	Costuma se contrapor o valor de mercado ao valor real do produto.
In Chinese astronomy, Gamma and Lambda Gruis may have been included in the tub shaped asterism Bàijiù , along with stars from Piscis Austrinus.	Na astronomia chinesa Gama e Lambda Gruis podem ter sido incluídas no asterismo em forma de tubo denominado Bàijiù , junto com outras estrelas de Piscis Austrinus.
The value of freedom. It's a value of community.	O valor da liberdade. É um valor de comunidade.
Change Value	Alterar item
Value Name	Nome
Change Value	Alterar o Valor
Value Name	Nome do Valor
Instant value	Valor instantâneo
Unknown value	Valor desconhecido

Exibir esta página em português