Translation of "valor lambda" to English language:
Dictionary Portuguese-English
Valor - 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 (λ). |
| 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. |
| Λ (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. |
| 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 . |
| 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). |
| 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). |
| TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor | AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount |
| 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). |
| TAA TAA , valor TAA , valor TAA , valor TAA TAA TAA TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor TAA , valor | AAR AAR , amount AAR , amount AAR , amount AAR AAR AAR AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount |
| TAA , valor TAA , valor TAA , valor TAA , valor | 77 AAR , amount |
| TAA TAA , valor TAA , valor TAA , valor TAA TAA TAA TAA , valor TAA , valor TAA , valor TAA , valor TAA TAA TAA , valor | AAR , amount AAR AAR AAR AAR , amount AAR , amount From non financial corporations |
| 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. |
| TAA , valor TAA , valor TAA , valor | AAR , amount AAR , amount AAR , amount |
| TAA , valor TAA , valor TAA , valor | 15 AAR , amount |
| 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). |
| 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. | 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. |
| 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. | The terms formula_3 and formula_4 are not alpha equivalent, because they are not bound in a lambda abstraction. |
| Em seguida, em 1936, Church isolou e publicou apenas a computação e que depois ficou conhecida como cálculo lambda não tipado. | Subsequently, in 1936 Church isolated and published just the portion relevant to computation, what is now called the untyped lambda calculus. |
| Valor nominal Valor nominal | Nominal value Nominal value |
| TAA , valor TAA , valor | AAR , amount AAR , amount |
| Valor nominal Valor nominal | 16 Profit for the year |
| Uma publicação na página de Facebook da Lambda Mozi, uma organização que defende os direitos das minorias sexuais, resume assim o problema | A post on the Facebook page of Lambda Mozi, an organization which defends the rights of sexual minorities, summarizes the problem |
| 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. | In 1940, he also introduced a computationally weaker, but logically consistent system, known as the simply typed lambda calculus. |
| Valor nominal Valor nominal 16 . | 16 . Profit for the year |
| b ) Valor nominal Valor nominal | ( b ) Other intra Eurosystem liabilities that may arise ( b ) Nominal value |
| TAA , valor TAA , valor 14 | 14 AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount AAR , amount |
| Todo o valor é valor percebido. | All value is perceived value. |
| a ) Valor nominal b ) Valor nominal | ( b ) Nominal value |
| O cálculo lambda pode ser considerado a primeira linguagem de programação funcional, embora nunca tenha sido projetada para ser realmente executada em um computador. | Although it is a mathematical abstraction rather than a programming language, it forms the basis of almost all functional programming languages today. |
| Média mensal , valor mensal máximo , valor do final do mês e valor mensal mínimo . | Monthly average , high of the month , end of the month and low of the month . |
| TAA TAA TAA TAA TAA , valor TAA , valor | AAR AAR AAR AAR AAR , amount AAR , amount |
| O valor total é , em princípio , igual ao valor de mercado ou um valor próximo deste . | The total amount is , in principle , equal to market value or is close to market value . |
Pesquisas relacionadas : Sonda Lambda - Controle Lambda - Lambda Print - Partícula Lambda - Fator Lambda - Sensor De Lambda - Sensor De Oxigénio Lambda - Valor - Valor Diagnóstico - Valor Inicial - Valor Particular - Valor Conjunto - Valor Duplo
