Translation of "lambda print" to Portuguese language:

Dictionary English-Portuguese

Print - translation :

Keywords : Imprimir Impressão Digital Publicar Parcial

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 .
print (i.e. the root of print kioslave)	print (i.e. a raiz do print kioslave)
Print	Print
Print	Imprimir
Print	Imprimir
Print.	95 117.
Print.	6.
Print.	Trad.
Wavelength is commonly designated by the Greek letter lambda (λ).	É usualmente representado pela letra grega lambda (λ).
Print scaled.	Impresso em escala.
Print options	Opções impressão
Print Preview	Antever Impressão
Print preview	Antever Impressão
Print Preview	Antever a Impressão
Print options	Opções de impressão
Print Linenumbers	Imprimir a Numeração de Linhas
Print Preview	Pré visualizar impressão
Print Wizard	Assistente de Impressão
Raised print	Impressão em relevo
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.
Print material related	Material informativo relacionado
Editor print operations	Opções impressão
Editor print operations	Operações de impressão do editor
Print page footer	Imprimir o rodapé de página
Print page header	Imprimir o cabeçalho de página
Print line numbers	Imprimir a numeração de linhas
Image Print Assistant...	Imagem Assistente de Impressão...
File Print Preview...	Ficheiro Antevisão da Impressão...
Print the icon.	Imprime o ícone.
Print the icon	Imprime o ícone
Print Wizard plugin	'Plugin' de Assistente de Impressão
Raised print ( 2 )	Impressão em relevo ( 2 )
Out of print.	Creio em Deus.
Print Smith, Mark.	Print Smith, Mark.
Print options basic control, depending on your knowledge of the print command	Opções de impressão controlo básico, dependendo do teu conhecimento sobre o comando de impressão
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.
No file to print!	Nenhum ficheiro a imprimir
No file to print!	Nenhum ficheiro a imprimir!
Print the current file	Imprimir o ficheiro actual

Exibir esta página em português