Translation of "lambda control" to Portuguese language:

Dictionary English-Portuguese

Control - translation :

Keywords : Controlam Controlo Controla Controlado Controlar

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 .
Wavelength is commonly designated by the Greek letter lambda (λ).	É usualmente representado pela letra grega lambda (λ).
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.
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.
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.
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.
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.
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.
To fix this, Einstein modified the general theory by introducing a new notion, the cosmological constant, which he called Lambda .	Para corrigir isso, modificou a teoria geral através da introdução de uma nova noção, a constante cosmológica.
The average number of particles in the Debye sphere is given by the plasma parameter, Λ (the Greek letter Lambda).	O número médio de partículas na esfera de Debye é representado pelo parâmetro de plasma Λ (a letra grega lambda).
It captures the intuition that the particular choice of a bound variable, in a lambda abstraction, does not (usually) matter.	Ela determina que a escolha da variável ligada, na abstração lambda, não importa (normalmente).
For instance, formula_48 and formula_58 are alpha equivalent lambda terms, and they both represent the same function (the identity function).	Por exemplo, λx.x e λy.y são termos lambda alfa equivalentes, representando a mesma função identidade.
A post on the Facebook page of Lambda Mozi, an organization which defends the rights of sexual minorities, summarizes the problem	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
Subsequently, in 1936 Church isolated and published just the portion relevant to computation, what is now called the untyped lambda calculus.	Em seguida, em 1936, Church isolou e publicou apenas a computação e que depois ficou conhecida como cálculo lambda não tipado.
He arrives at the Lambda Complex, where scientists developed the teleportation technology that allowed travel to Xen in the first place.	Ele chega ao Complexo Lambda, onde cientistas desenvolveram a tecnologia de teletransporte responsável por possibilitar as viagens a Xen.
So there's no control there's no control group.	Não há controle não há grupo de controle.
In Chinese astronomy, Gamma and Lambda Gruis may have been included in the tub shaped asterism Bàijiù , along with stars from Piscis Austrinus.	Na astronomia chinesa Gama e Lambda Gruis podem ter sido incluídas no asterismo em forma de tubo denominado Bàijiù , junto com outras estrelas de Piscis Austrinus.
In 1972 Paul Berg created the first recombinant DNA molecules by combining DNA from the monkey virus SV40 with that of the lambda virus.	Em 1972, na Universidade de Stanford, na Califórnia, o norte americano Paul Berg ligou duas cadeias de DNA.
Classrooom control	Controlo de Sala de Aula
Control Centre	Centro de Controlo
financial control	Controlo financeiro
Control yourselves.	Controlem se.
Control yourself.	Controle se.
Control yourself.	Controla te.
Control yourself!	Controle se!
Control transfers.	Controle de transferência.
Sometimes instead of Control Z, we actually have zero control.	Algumas vezes, em lugar de Control Z na verdade temos controle zero.
When they control their brain, they can control their pain.	Quando eles controlam seus cérebros, eles podem controlar sua dor.
Git version control	Controlo de versões git

Exibir esta página em português