Translation of "partícula lambda" to English language:
Dictionary Portuguese-English
Partícula - tradução :
Examples (External sources, not reviewed)
| 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 (Λ λ). |
| É usualmente representado pela letra grega lambda (λ). | Wavelength is commonly designated by the Greek letter lambda (λ). |
| A partícula ( tau. | The particle (tou. |
| 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. | While ( work particle indicating politeness) does not indicate the imperative, ( work particle indicating imperative mood particle indicating politeness) does. |
| Ver dualidade onda partícula. | See wave particle duality. |
| Cada partícula de matéria possui uma partícula de antimatéria correspondente, com carga elétrica oposta. | Exotic matter Each particle of matter has a corresponding antimatter particle with the opposite electrical charge. |
| 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. |
| Por exemplo, esta partícula de força fraca e sua anti partícula podem ser criadas em uma colisão. | For example, this weak force particle and its anti particle can be created in a collision. |
| Cada partícula no modelo padrão tem um super padrão que difere por 1 2 da partícula original. | Each particle in the Standard Model would have a superpartner whose spin differs by 1 2 from the ordinary particle. |
| Emissão alfa Partícula beta Raios gama | A small current is passed through that ionized air. |
| 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. |
| Λ (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. |
| H é para a partícula de Higgs. | H stands for Higgs particle. |
| Essa partícula faz um substantivo virar verbo. | This particle turns a noun into a verb. |
| Ver também Elétron Partícula beta Decaimento radioativo | In a human body of 70 kg mass, about 4,400 nuclei of 40K decay per second. |
| 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 . |
| A partícula de Higgs ainda não foi descoberta. | Higgs particles have not been discovered. |
| A luz é uma onda ou uma partícula? | Is light a wave or a particle? |
| partícula alfa raio gama radioatividade radiação física nuclear | If the struck molecule is DNA, it can cause spontaneous mutation. |
| 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). |
| O físico Steven Weinberg nomeou a partícula adicional de partícula Z , mais tarde, deu a explicação de que era a última partícula adicional necessária pelo modelo (os bósons W já haviam sido nomeados) e que possuía carga elétrica zero. | The physicist Steven Weinberg named the additional particle the Z particle , later giving the explanation that it was the last additional particle needed by the model the W bosons had already been named and that it has zero electric charge. |
| 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). |
| Então é uma previsão a previsão de uma partícula nova. | So it's a prediction a prediction of a new particle. |
| Eu quero saber o que essa partícula de Higgs faz. | I want to know what this Higgs particle does. |
| Assim, note que a partícula não tem extensão nem forma. | Furthermore, the velocity is tangent to the trajectory of the particle. |
| 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). |
| Se uma partícula e uma anti partícula colidem, elas criam um pulso de energia e uma carga total de zero em todos os quatro eixos de cargas. | If a particle and an anti particle collide, it creates a burst of energy and a total charge of zero in all four charge directions. |
| Cada homem é uma partícula do continente, uma parte da Terra. | Every man is a piece of the continent, a part of the main. |
| A transição é por vezes ocupada por uma outra partícula pesada. | The transition is sometimes taken up by another heavy particle. |
| Por exemplo, () é uma partícula gramatical que indica o Modo Indicativo. | For example, is a grammatical particle used to indicate the imperative mood. |
| Uma partícula que não foi vista ainda, mas que temos razoável certeza de que existe é a partícula de Higgs, que dá massa a todas estas outras partículas. | A particle that hasn't been seen yet, but we're pretty sure exists, is the Higgs particle, which gives masses to all these other particles. |
| A força em uma partícula de carga negativa está na direção oposta. | The force on a negatively charged particle is in the opposite direction. |
| 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. |
| O número médio de partículas na esfera de Debye é representado pelo parâmetro de plasma Λ (a letra grega lambda). | The average number of particles in the Debye sphere is given by the plasma parameter, Λ (the Greek letter Lambda). |
Pesquisas relacionadas : Sonda Lambda - Controle Lambda - Valor Lambda - Lambda Print - Fator Lambda - Sensor De Lambda - Partícula Magnética - Partícula Incidente - Partícula Ligada - Partícula Modal - Erosão Partícula - Movimento Partícula - Higgs Partícula
