Translation of "fator lambda" to English language:
Dictionary Portuguese-English
Fator - tradução :
Examples (External sources, not reviewed)
| Termos lambda A sintaxe de termos lambda é particularmente simples. | A valid lambda calculus expression is called a lambda term . |
| 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). | 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). |
| Definição formal Expressões lambda são compostas por variáveis v1, v2, , vn símbolos abstratos λ (lambda) e . | Formal definition Definition Lambda expressions are composed of variables v1, v2, ..., vn, ... the abstraction symbols lambda 'λ' and dot '. |
| 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 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. |
| A parte relevante de cálculo lambda para computação ficou conhecida como cálculo lambda não tipado. | Lambda calculus has played an important role in the development of the theory of programming languages. |
| Em Física Nuclear, lambda representa meia vida . | Lambda indicates the radioactivity decay constant in nuclear physics and radioactivity. |
| Originou se da letra grega lambda (Λ). | History The Cyrillic letter El was derived from the Greek letter lambda (Λ λ). |
| É usualmente representado pela letra grega lambda (λ). | Wavelength is commonly designated by the Greek letter lambda (λ). |
| O fator é, portanto, chamado Fator de Christmas. | The factor is, hence, called Christmas Factor. |
| Fator VIII (FVIII) é um fator de coagulação essencial. | Factor VIII (FVIII) is an essential blood clotting protein, also known as anti hemophilic factor (AHF). |
| Em muitos casos, é fácil de identificar termos lambda equivalentes. | In many presentations, it is usual to identify alpha equivalent lambda terms. |
| Outras linguagens puras Haskell Ver também Cálculo lambda simplesmente tipificado Referências | Church, Alonzo, An unsolvable problem of elementary number theory , American Journal of Mathematics, 58 (1936), pp. |
| 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. | 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. |
| O fator X, ou fator Stuart Prower, foi descoberto no ano seguinte, em 1956. | Factor X, or Stuart Prower factor, followed, in 1956. |
| Λ (minúscula λ) ou lambda é a décima primeira letra do alfabeto grego. | Lambda (uppercase ', lowercase ' lam(b)da ) is the 11th letter of the Greek alphabet. |
| 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. | It is a cofactor to factor IXa in the activation of factor X, which, in turn, with its cofactor factor Va, activates more thrombin. |
| Nós temos minimizado este fator. | We have downgraded this factor. |
| O outro fator é tecnologia. | The next thing is technology. |
| Portanto, eis outro fator demográfico. | So that's another demographic fact. |
| Fator Rh Grupo sanguíneo Sangue | The disease varies from mild to severe. |
| Ela determina que a escolha da variável ligada, na abstração lambda, não importa (normalmente). | It captures the intuition that the particular choice of a bound variable, in a lambda abstraction, does not (usually) matter. |
| Em genética, ela é uma abreviação de locus, como IGL para immunoglobulin lambda locus . | In genetics, is the abbreviation for locus, as in IGL for immunoglobulin lambda locus . |
| Por exemplo, λx.x e λy.y são termos lambda alfa equivalentes, representando a mesma função identidade. | For instance, formula_48 and formula_58 are alpha equivalent lambda terms, and they both represent the same function (the identity function). |
| E há o fator de conversão. | And there's the conversion factor. |
| Que é seu fator comum maior. | That is their greatest common factor. |
| O principal fator é a pobreza. | The key factor is poverty. |
| Alfa equivalência Uma forma básica de equivalência, definida para termos lambda, é chamada de alfa equivalência. | Alpha equivalence A basic form of equivalence, definable on lambda terms, is alpha equivalence. |
| Em Ciência da computação, cálculo lambda (λ calculus) é um modelo matemático para definição de funções. | Lambda is a unit of volume, synonymous with one microliter (1 μL), that is, one cubic millimetre (1 mm3). |
| As coisas eram... um fator de diferença de dez pode fazer um fator de diferença de mil no resultado. | Things where, you know, a factor of 10 difference can make a factor of 1,000 difference in the outcome. |
| Existe um outro fator em nosso caso. | There's another factor in our case. |
| O terceiro fator são novamente as cidades | The third thing is again cities. |
| O terceiro fator é nossa educação superior. | The third thing is our higher education. |
| A cultura é um fator de humanização. | Culture can be any of two types, non material culture or material culture. |
| O fator g é o fator principal, isto é, aquele que explica a maior parte da variância total dos itens. | Penke, L., Denissen, J.J.A., and Miller, G.F. (2007). |
| B. Rosser pelo uso do lambda cálculo de Church e a teoria da recursão de Gödel (1934). | B. Rosser by use of Church's lambda calculus and Gödel's recursion theory (1934). |
| Fator de descontaminação Este fator é usado para expressar a habilidade de um processo em remover um contaminante de um produto. | Decontamination factor This is used to express the ability of a process to remove a contaminant from a product. |
| O fator X ativado junto ao fator V ativado formam um complexo ( Complexo protrombinase ) que irá ativar a protrombina em trombina. | In this disease, there is a defect in von Willebrand factor (vWF), which mediates the binding of glycoprotein Ib (GPIb) to collagen. |
| Autodisciplina, o fator mais importante para o sucesso. | Self discipline the most important factor for success. |
| E o outro fator é empatia e compaixão. | And the other one is empathy and compassion. |
| E temos ainda o fator sensual da face. | And then we have the sensual factor of the face. |
| Claro, abelhas não são o único fator importante. | And of course, bees are not the only important factor here. |
| Chamamos isso de um fator pessoal de enganação. | We call this like a personal fudge factor. |
| E quanto a aumentar o fator de enganação? | What about increasing the fudge factor? |
| Na ativação da trombina ou fator Xa, ele se dissocia do complexo para interagir com o fator IXa na cascata da coagulação. | Upon activation by thrombin, (factor IIa), it dissociates from the complex to interact with factor IXa in the coagulation cascade. |
| Estamos procurando pessoas que disseram Sim, raça foi um fator e foi um fator importante em minha decisão. E pessoas que votaram em John McCain como resultado deste fator, talvez combinado com outros fatores, talvez não. | We're looking for people that said, Yes, race was a factor moreover it was an important factor, in my decision, and people who voted for John McCain as a result of that factor, maybe in combination with other factors, and maybe alone. |
Pesquisas relacionadas : Sonda Lambda - Controle Lambda - Valor Lambda - Lambda Print - Partícula Lambda - Sensor De Lambda - Sensor De Oxigénio Lambda - Fator Mediador - Preço Fator - Fator Cringe - Fator Precipitante - Fator Para - Fator Proporcional
