O definiție mai orientată matematic a fost introdusă de Alonzo Church, ale cărui lucrări din domeniul calculului lambda s-au împletit cu cele ale lui Turing într-o teorie formală a calculului cunoscută sub numele de Conjectura Church-Turing.
A more mathematically oriented definition with a similar "universal" nature was introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church-Turing thesis.
Lucrarea lui Backus a popularizat cercetarea în domeniul limbajelor funcționale, deși a pus accent pe programarea la nivel funcțional, și nu pe stilul calculului lambda, stil ce a ajuns să fie asociat cu programarea funcțională.
Backus's paper popularized research into functional programming, though it emphasized function-level programming rather than the lambda-calculus style now associated with functional programming.
Outros resultados
Clauza 5.12 din standardul EN 14531-1:2005 precizează modul în care pot fi obținuți alți parametri [procentul de masă frânată (lambda), masa frânată] pe baza calculului decelerației sau a distanței de oprire a unității.
The standards EN 14531-1:2005 clause 5.12 specifies how other parameters (brake weight percentage (lambda), braked mass) can be derived from the calculation of the deceleration or from the stopping distance of the unit.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.
Não foram achados resultados para esta acepção.
Sinônimos e analogias para "calculului lambda" em romeno
