Tradução de "lambda particle" para a língua portuguesa:

Dicionário Inglês-Português

Particle - translation :

Palavras-chave : Partículas Partícula Acelerador Higgs Densidade

Exemplos (Fontes externas, não revisadas)

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 Higgs boson or Higgs particle is an elementary particle in the Standard Model of particle physics.	Representa a chave para explicar a origem da massa das outras partículas elementares.
While ( work particle indicating politeness) does not indicate the imperative, ( work particle indicating imperative mood particle indicating politeness) does.	Enquanto que ( trabalho partícula que indica polidez) não indica imperativo, ( trabalha partícula indicando Modo Interativo partícula que indica polidez) o faz.
Wavelength is commonly designated by the Greek letter lambda (λ).	É usualmente representado pela letra grega lambda (λ).
The particle (tou.	A partícula ( tau.
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.
See wave particle duality.	Ver dualidade onda partícula.
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.
H stands for Higgs particle.	H é para a partícula de Higgs.
Number seven particle accelerator mishap.	Número sete. Contratempos com aceleradores de partículas.
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).
For example, this weak force particle and its anti particle can be created in a collision.	Por exemplo, esta partícula de força fraca e sua anti partícula podem ser criadas em uma colisão.
Exotic matter Each particle of matter has a corresponding antimatter particle with the opposite electrical charge.	Cada partícula de matéria possui uma partícula de antimatéria correspondente, com carga elétrica oposta.
The final position of the particle on the detector screen and the slit through which the particle passes is determined by the initial position of the particle.	A função de onda evolui de acordo com a equação de Schrödinger e de algum modo 'guia' a partícula.
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 (Λ).
Arkani Hamed points to particle physics.	Arkani Hamed lembra do caso da física das partículas.
Armed with the Mega Particle Cannon .	É armado com o Mega Particle Cannon .
And locally there you could build particle accelerators, and learn elementary particle physics, and chemistry, and so on.	E localmente poderiam construir aceleradores de partículas, e aprender a física das partículas elementares, química, e assim por diante.
They hoped that this would contribute somehow to particle physics didn't. It didn't, by itself, contribute to particle physics.	Esperavam que, de alguma forma, fosse contribuir para a física de partículas não... Sozinhas não contribuíram para a física de partículas.
The attachment of the particle to the bubble is controlled by the induction time of the particle and bubble.	A técnica utiliza diferenças nas propriedades superficiais de partículas diferentes para as separar.
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.
Is light a wave or a particle?	A luz é uma onda ou uma partícula?
The position vector of a particle is a vector drawn from the origin of the reference frame to the particle.	Este vetor fornece a posição do corpo em um dado instante formula_25.
Each particle in the Standard Model would have a superpartner whose spin differs by 1 2 from the ordinary particle.	Cada partícula no modelo padrão tem um super padrão que difere por 1 2 da partícula original.
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.
Relative position vector A relative position vector is a vector that defines the position of a particle relative to another particle.	Num espaço tridimensional, precisamos definir três números, ou coordenadas , para dar a posição de uma partícula.
Each proton or neutron energy state in a nucleus can accommodate both a spin up particle and a spin down particle.	Cada estado energético de um próton ou nêutron em um núcleo pode acomodar uma partícula de spin para abaixo e outra de spin para acima.
Well, particle physicists are nothing if not ambitious.	Bem, físicos de partículas são um tanto ambiciosos.
And I tried to build a particle accelerator.	E tentei construir um acelerador de partículas.
This particle turns a noun into a verb.	Essa partícula faz um substantivo virar verbo.
A fermion can be an elementary particle, such as the electron, or it can be a composite particle, such as the proton.	Duas partículas que podem ser distinguidas pela posição na mecânica clássica já não o podem ser pela mecânica quântica.
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 need to we need the advice of particle physicists to talk about particle physics and what should be done in particle physics, but we need some outside thinking and watchdogging of what's going on with these experiments.	Precisamos precisamos do conselho dos físicos de partículas para falar dos física de partículas e o que deve ser feito em física de partículas mas precisamos de algum pensamento externo e de cães de guarda sobre o que está acontecendo com essas experiências.
I want to know what this Higgs particle does.	Eu quero saber o que essa partícula de Higgs faz.
The smaller a particle is, the faster it dissolves.	Porém, trata se de um comportamento mais complexo.

Display this page in English