Translation of "controle lambda" to English language:
Dictionary Portuguese-English
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 . |
| Controle local, controle central e, agora, controle popular. | Local power, central power, now, people power. |
| 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). |
| 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). |
| Controle se, não controle as minhas roupas | Control yourself, not my clothes |
| Não há controle não há grupo de controle. | So there's no control there's no control group. |
| 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. |
| Controle se. | Control yourself. |
| Controle se! | Control yourself! |
| 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. |
| Controle da internet | Control of the internet |
| Assuma o controle. | Take command. |
| Controle é tudo. | Control is everything. |
| Estou no controle. | I'm in control. |
| Controle suas emoções. | Control your emotions. |
| Controle de transferência. | Control transfers. |
| Direção de Controle. | The gauge of the FCAB is . |
| Atualmente a AEB está sob controle civil, anteriormente estava sob controle militar. | Previously, the program had been under the control of the Brazilian military the program was transferred into civilian control on 10 February 1994. |
| br O Sistema de Controle Distribuído (na sigla em inglês DCS), possibilitou reunir em estações de controle várias malhas de controle. | The next evolution of instrumentation came with the production of Distributed Control Systems (DCS) which allowed monitoring and control from multiple locations which could be widely separated. |
| 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. |
| Não temos tanto controle. | We are not so much in control. |
| Criadores estão no controle. | Makers are in control. |
| O Painel de Controle. | The Control Panel. |
| Repressão, Criminalização e Controle | Repression, Criminalization, and Control |
