Tradução de "fator lambda" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| Lambda | Lambda |
| lambda | lambda |
| Parâmetro lambda | Lambda parameter |
| Termos lambda A sintaxe de termos lambda é particularmente simples. | A valid lambda calculus expression is called a lambda term . |
| Porque nós temos lambda mais mu i, e lambda menos mu i. | Because we have lambda plus mu i, and lambda minus mu i. |
| 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). |
| lambda vezes mu i. | lambda plus mu i. |
| Distância de frenagem lambda | lambda Braking distance |
| 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. |
| O parâmetro lambda deve ser positivo. | The lambda parameter must be positive. |
| 1 menos lambda sobre n elevado a n vezes 1 menos lambda sobre n elevado a menos k. | 1 minus lambda over n to the n times 1 minus lambda over n to the minus k. |
| Ao que p é igual? p é igual a lambda dividido por n, correto? n vezes p é lambda, então vamos escrever isso. p é igual a lambda dividido por n. | What's p equal to? p is equal to lambda divided by n, right? n times p is lambda, so let me just write that down. p is equal to lambda divided by n. |
| 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 (Λ λ). |
| Bom, este termo, lambda é uma constante. | Well, this term, lambda's a constant. |
| É usualmente representado pela letra grega lambda (λ). | Wavelength is commonly designated by the Greek letter lambda (λ). |
| Os valores lambda e número devem ser positivos. | The lambda and number parameters must be positive. |
| 1 menos lambda sobre n elevado a n. | 1 minus lambda over n to the n. |
| Lambda x apenas fazendo a distribuição com o x mais mu xi, mais vezes c2 e a lambda x menos mu xi. | Lambda x just distributing that x plus mu xi, plus c2 times e to the lambda x minus mu xi. |
| E nós apenas demonstramos que isso era igual a lambda à k ésima potência sobre k fatorial vezes e elevado a menos lambda. | And we just showed that this is equal to lambda to the kth power over k factorial times e to the minus lambda. |
| Uma variante genética adjacente ao gene que codifica o interferão lambda 3 (IL28B rs 12979860, a alteração de C para T) é um forte fator preditivo de resposta ao peginterferão alfa 2b ribavirina. | A genetic variant near the gene encoding interferon lambda 3 (IL28B rs12979860, a C to T change) is a strong predictor of response to peginterferon alfa 2b ribavirin. |
| Então isso será lambda menos mu i vezes x. | So that's going to be lambda minus mu i times x. |
| Então nossa probabilidade de sucesso é lambda vezes n. . | So our probability of success is lambda times n. |
| Isso é a mesma coisa que 1 menos lambda sobre n elevado a n vezes 1 menos lambda sobre n elevado a menos k. | This is the same thing as 1 minus lambda over n to the n times 1 minus lambda over n to the minus k. |
| Em muitos casos, é fácil de identificar termos lambda equivalentes. | In many presentations, it is usual to identify alpha equivalent lambda terms. |
| Então vezes lambda elevado a k k sobre k fatorial. | So times lambda to the k k over k factorial. |
| Nós temos um menos lambda ao invés de um a. | We have a minus lambda instead of an a. |
| Com lambda linha dividido por lambda e vocês escolherem qualquer uma dessas linhas não importa qual vocês escolhem porque todos elas vão fazer exatamente o mesmo. | With lambda prime divided by lambda and you pick any one of those lines it doesn't matter which you pick because they will all do exactly the same. |
| Vezes o limite para n indo ao infinito de 1 menos lambda sobre n elevado a n vezes 1 menos lambda sobre n elevado a menos k. | Times the limit as n approaches infinity of 1 minus lambda over n to the n times 1 minus lambda over n to the minus k. |
| 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. |
| Mais c2 vezes a lambda x, vezes e menos mu xi. | Plus c2 times e to the lambda x, times e to the minus mu xi. |
| Então você terminará com 1 vezes lambda k sobre k fatorial. | So you end up with 1 times lambda k over k factorial. |
| 1 menos lambda sobre n elevado à potência de menos k. | 1 minus lambda over n to the minus k power. |
| O complexo fator VIII fator von Willebrand consiste em duas moléculas (fator VIII e fator von Willebrand) com diferentes funções fisiológicas. | The factor VIII von Willebrand factor complex consists of two molecules (factor VIII and von Willebrand factor) with different physiological functions. |
| O fator é, portanto, chamado Fator de Christmas. | The factor is, hence, called Christmas Factor. |
| O complexo de fator VIII Fator von Willebrand consiste em duas moléculas (fator VIII e fator von Willebrand) com funções fisiológicas diferentes. | The factor VIII von Willebrand factor complex consists of two molecules (factor VIII and von Willebrand factor) with different physiological functions. |
| Então isso está se tornando igual a e elevado a menos lambda. | So this is going to be equal to e to the minus lambda. |
| 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 IX é ativado pelo fator XIa na via de coagulação intrínseca e pelo complexo fator VII fator tecidual na via extrínseca. | Factor IX is activated by factor XIa in the intrinsic coagulation pathway and by factor VII tissue factor complex in the extrinsic pathway. |
| O complexo fator VIII fator de von Willebrand consiste em duas moléculas (fator VIII e fator de von Willebrand) com funções fisiológicas diferentes. | The factor VIII von Willebrand factor complex consists of 2 molecules (factor VIII and von Willebrand factor) with different physiological functions. |
| 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). |
| O fator IX ativado, em associação com o fator VIII ativado, ativa o fator X. O fator X ativado converte a protrombina em trombina. | Activated factor IX, in combination with activated factor VIII, activates factor X. Activated factor X converts prothrombin into thrombin. |
| O fator IX ativado, em conjunto com o fator VIII ativado, ativa o fator X. O fator X ativado converte a protrombina em trombina. | Activated factor IX, in combination with activated factor VIII, activates factor X. Activated factor X converts prothrombin into thrombin. |
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
