Translation of "lambda factor" to Portuguese language:

Dictionary English-Portuguese

Factor - translation :

Keywords : Factor Fator Factor Determinante Decisivo

Examples (External sources, not reviewed)

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 (λ).
The factor is, hence, called Christmas Factor.	O fator é, portanto, chamado Fator de Christmas.
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.
In the system of Greek numerals lambda has a value of 30.	No sistema numérico grego vale 30.
Factor X, or Stuart Prower factor, followed, in 1956.	O fator X, ou fator Stuart Prower, foi descoberto no ano seguinte, em 1956.
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 (Λ).
All New X Factor Polaris is now the leader of X Factor.	Lorna continuou no X factor enquanto Alex decidiu se juntar aos Vingadores.
And you need the fourth factor, which perhaps is the most important factor.	E você precisa de um quarto fator, que talvez seja o mais importante.
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.
Power factor correction In electric power distribution, capacitors are used for power factor correction.	Capacitores também são usados na correção de fator de potência.
It is a cofactor to factor IXa in the activation of factor X, which, in turn, with its cofactor factor Va, activates more thrombin.	Ele é um cofator para o fator IXa na ativação do fator X, que, por sua vez, com seu cofator fator Va, ativa mais trombina.
The physiological target proteases of antithrombin are those of the contact activation pathway (formerly known as the intrinsic pathway), namely the activated forms of Factor X (Xa), Factor IX (IXa), Factor XI (XIa), Factor XII (XIIa) and, to a greater extent, Factor II (thrombin) (IIa), and also the activated form of Factor VII (VIIa) from the tissue factor pathway (formerly known as the extrinsic pathway).	O alvo fisiológico da antitrombina é a via intrínseca da cascata de coagulação, as formas ativadas dos factores X, IX, VII, XI, XII e II (trombina).
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.
We have downgraded this factor.	Nós temos minimizado este fator.
And there's the conversion factor.	E há o fator de conversão.
The key factor is poverty.	O principal fator é a pobreza.
Factor VIII (FVIII) is an essential blood clotting protein, also known as anti hemophilic factor (AHF).	Fator VIII (FVIII) é um fator de coagulação essencial.
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.
There's another factor in our case.	Existe um outro fator em nosso caso.
Zoom to a predefined zoom factor	Amplia para um factor predefinido
What about increasing the fudge factor?	E quanto a aumentar o fator de enganação?
That is their greatest common factor.	Que é seu fator comum maior.
The Eurosystem welcomes this riskreducing factor .	O Eurosistema acolhe com agrado este factor redutor de risco .
If we could learn to make things and do things the way nature does, we could achieve factor 10, factor 100, maybe even factor 1,000 savings in resource and energy use.	Se nós pudéssemos aprender a produzir coisas e fazer coisas da maneira que a natureza faz, nós poderiamos passar do fator 10 para o fator 100, e talvez mesmo um fator de economia 1.000 no uso dos recursos e energia.
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.
Things where, you know, a factor of 10 difference can make a factor of 1,000 difference in the outcome.	As coisas eram... um fator de diferença de dez pode fazer um fator de diferença de mil no resultado.
(OECD 2008,11)Another productivity measure is so called multi factor productivity (MFP) also known as total factor productivity (TFP).	Progresso tecnológico O aumento da produtividade total dos factores (PTF) ao longo do tempo é designado por progresso tecnológico .
So that was a factor 100 saving.	Então isto é um fator de economia de 100.
Panic is a factor in data loss	O pânico é um factor na perda de dados

Exibir esta página em português