Tradução de "sonda lambda" para o idioma inglês:
Dicionário Português-Inglês
Sonda - tradução :
Exemplos (Fontes externas, não revisadas)
| 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 (Λ λ). |
| 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. |
| É usualmente representado pela letra grega lambda (λ). | Wavelength is commonly designated by the Greek letter lambda (λ). |
| 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. |
| Monitor e sonda de MIDI | MIDI monitor and prober. |
| 1994 Lançada a Sonda Clementine. | 1994 The Clementine space probe launches. |
| 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. |
| Λ (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. |
| Umit Sonda de redes de computador | Umit Network Scanner |
| Esta é a sonda Mariner IV. | This is fly by, Mariner IV. |
| 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 . |
| (ESA) Sonda Vega 1, a sonda tinha antes lançado um aterrizador em Vênus, depois se dirigiu ao cometa Halley. | (ESA) Vega 1, which dropped a balloon probe and lander on Venus before going on to Halley. |
| 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). |
| Você vai precisar de uma sonda derretedora. | You need a melt probe. |
| 1958 Programa Pioneer NASA lança a sonda lunar Pioneer 1 (a sonda cai de volta para a Terra em chamas). | 1958 Pioneer program NASA launches the lunar probe Pioneer 1 (the probe falls back to Earth and burns up). |
| A possibilidade de enviar a sonda Cassini a Urano foi avaliada em 2009 num plano de prolongar a missão da sonda. | The possibility of sending the Cassini spacecraft from Saturn to Uranus was evaluated during a mission extension planning phase in 2009. |
| Novas descobertas da Sonda Kepler Recentemente a sonda espacial Kepler localizou, pelo método de trânsito, mais de 1230 candidatos a exoplanetas. | The more magnetically active a star is the greater the stellar wind and the larger the electric current leading to more heating and expansion of the planet. |
| (USSR França Intercosmos) Sonda Vega 2, a sonda tinha antes lançado um aterrizador em Vênus, depois se dirigiu ao cometa Halley. | (USSR France Intercosmos) Vega 2, which dropped a balloon probe and lander on Venus before going on to Halley. |
| 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). |
| Foi descoberto pela sonda Voyager 2 em 1989. | Despina was discovered in late July 1989 from the images taken by the Voyager 2 probe. |
| Foi descoberto pela sonda Voyager 2 em 1989. | Galatea was discovered in late July 1989 from the images taken by the Voyager 2 probe. |
| 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). |
| Atiramos uma sonda espacial sobre ela e acertamos. Ok? | We shot a space probe at it and hit it. Okay? |
| Essa sonda, de fato, não pode usar foguetes químicos. | This probe actually can't use chemical rockets. |
| E foi nisso em que a sonda Huygens aterrisou. | And that is what the Huygens probe landed in. |
| A sonda Galileo estudou Júpiter e as suas luas. | Annual budget CAD 488.7 million (2013 2014). |
| A estrutura básica desta sonda era baseada na sonda Rosetta da ESA na qual uma considerável quantidade de dinheiro foi gasto no seu desenvolvimento. | The design of Mars Express is based on ESA's Rosetta mission, on which a considerable sum was spent on development. |
| A sonda Phobos 1 foi lançada em 7 de Julho de 1988 e a sonda Phobos 2 foi lançada em 12 de Julho de 1988. | Phobos 1 was launched on July 7, 1988, and Phobos 2 on July 12, 1988, each aboard a Proton K rocket. |
| Enviamos uma sonda para esse cinturão de asteroides chamado NEAR | We sent a probe out to this asteroid belt, called NEAR, Near Earth Asteroid Rendezvous. |
| 14 de Janeiro A sonda Cassini Huygens aterrissa em Titã. | January 14 The Huygens probe lands on Titan, the largest moon of Saturn. |
| O pequeno poliedro Hagoromo foi colocado no topo da sonda. | This was the first aerobraking maneuver by a deep space probe. |
| (USSR França Intercosmos) Sonda Suisei, também conhecida como PLANET A. | (USSR France Intercosmos) Suisei, also known as PLANET A. |
| 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. | As described above, all functions in the lambda calculus are anonymous functions, having no names. |
| 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. | Free variables The free variables of a term are those variables not bound by a lambda abstraction. |
| Ele chega ao Complexo Lambda, onde cientistas desenvolveram a tecnologia de teletransporte responsável por possibilitar as viagens a Xen. | He arrives at the Lambda Complex, where scientists developed the teleportation technology that allowed travel to Xen in the first place. |
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
