Translation of "lambda probe" to Portuguese language:

Dictionary English-Portuguese

Probe - translation :

Keywords : Sonda Sondar Lançada Reconhecimento Mental

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 .
The probe system consisted of the probe itself which descended to Titan, and the probe support equipment (PSE) which remained attached to the orbiting spacecraft.	Seu sistema consistia na sonda em si e num equipamento de suporte que permaneceu acoplado ao orbitador Cassini .
Wavelength is commonly designated by the Greek letter lambda (λ).	É usualmente representado pela letra grega lambda (λ).
You need a melt probe.	Você vai precisar de uma sonda derretedora.
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.
1994 The Clementine space probe launches.	1994 Lançada a Sonda Clementine.
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.
The gravity of the asteroid pulls on the probe, and the probe has a couple of tons of mass.	A gravidade do asteroide atua sobre a sonda, e a sonda tem algumas toneladas de massa.
1958 Pioneer program NASA launches the lunar probe Pioneer 1 (the probe falls back to Earth and burns up).	1958 Programa Pioneer NASA lança a sonda lunar Pioneer 1 (a sonda cai de volta para a Terra em chamas).
The NATO standard probe system incorporates shear rivets that attach the refueling valve to the end of the probe.	O sistema padrão de sonde possui rebites de cisalhamento entre a ponta da válvula e a sonda.
This probe actually can't use chemical rockets.	Essa sonda, de fato, não pode usar foguetes químicos.
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 (Λ).
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.
We dropped a probe in the atmosphere of Titan.	Nós a lançamos na atmosfera de Titã.
And that is what the Huygens probe landed in.	E foi nisso em que a sonda Huygens aterrisou.
This event was observed by the STEREO space probe.	Este evento foi observado pelas sondas STEREO.
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.
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.
We shot a space probe at it and hit it. Okay?	Atiramos uma sonda espacial sobre ela e acertamos. Ok?
She could also probe individuals to check up on their status.	Ela também poderia sondar indivíduos para check up no seu estado.
This was the first aerobraking maneuver by a deep space probe.	O pequeno poliedro Hagoromo foi colocado no topo da sonda.
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.
One grouping is based on what interacts with the sample to generate the image, i.e., light or photons (optical microscopes), electrons (electron microscopes) or a probe (scanning probe microscopes).	Há ainda os microscópios de varredura de ponta que trabalham com um larga variedades de efeitos físicos (mecânicos, ópticos, magnéticos, elétricos).
And we can now start to probe the structure in interesting ways.	E agora podemos começar a examinar a estrutura de maneiras interessantes.
1975 Viking Program NASA launches the Viking 1 planetary probe toward Mars.	1975 A NASA lança a sonda Viking 1 em direcção a Marte.
The Galileo probe orbits Jupiter, studying the planet and its moons extensively.	A sonda Galileu orbita Júpiter, estudando o planeta e suas luas.
Exploration Early efforts The first robotic space probe mission to Venus, and the first to any planet, began on 12 February 1961, with the launch of the Venera 1 probe.	Exploração Esforços iniciais A primeira missão de uma sonda espacial robótica a Vénus, e a primeira para qualquer planeta, começou em 12 de fevereiro de 1961, com o lançamento da sonda Venera 1.
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.
Also, the Mars probe program was continued with some small success, while the explorations of Venus and then of the Halley comet by Venera and Vega probe programs was more effective.	Também o Programa Marte teve continuidade com pequenos sucessos, enquanto a exploração de Venus e a Missão Vega para o cometa Halley foram mais efetivas.
The Venus Express probe was designed and built by the European Space Agency.	Missões atuais e futuras A sonda Venus Express foi projetada e construída pela Agência Espacial Europeia.
1974 NASA's Mariner 10 becomes the first space probe to fly by Mercury.	1974 A sonda Mariner 10, da NASA, é a primeira a sobrevoar Mercúrio.

Exibir esta página em português