Tradução de "sonda 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. |
| Trata se de uma sonda semelhante a sonda sonda Suisei que foi lançada posteriormente. | Early measurements would be used to improve the mission of the Suisei probe several months later. |
| 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. |
| A mistura deve, então, ser administrada por meio de uma sonda de gastrostomia, sonda nasogástrica ou sonda de gastrostomia jejunostomia. | The mixture should then be administered via gastrostomy tube, nasogastric tube or gastrostomy jejunostomy tube. |
| É 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. |
| Sonda de perfusão | Perfusion Lead |
| Jensen, uma sonda. | Jensen, a probe. |
| A sonda deve | The probe shall |
| 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. |
| A dispersão pode ser administrada por sonda nasogástrica ou por sonda de gastrostomia. | The dispersion can also be administered through a naso gastric or gastrostomy tube. |
| O líquido também pode ser administrado por sonda nasogástrica ou sonda de gastrostomia. | The liquid can also be administered through nasogastric or gastrostomy tubes. |
| 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. |
| Sonda de SSL legada | Legacy SSL probe |
| A sonda sairia disparada. | The probe would just shoot away. |
| 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. |
| Monitor e sonda de MIDI | MIDI monitor and prober. |
| 1994 Lançada a Sonda Clementine. | 1994 The Clementine space probe launches. |
| Que posso usar como sonda? | What can I use for a probe? |
| A gravidade do asteroide atua sobre a sonda, e a sonda tem algumas toneladas de massa. | The gravity of the asteroid pulls on the probe, and the probe has a couple of tons of mass. |
| 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. |
Pesquisas relacionadas : Controle Lambda - Valor Lambda - Lambda Print - Partícula Lambda - Fator Lambda - Sensor De Lambda - Sensor De Oxigénio Lambda - Sonda Térmica - Sonda Antitruste - Sonda Contacto - Sonda Voando - Sonda óptica - Sonda Laser
