Sta znaci na Engleskom ЛАМБДА РАЧУН - prevod na Енглеском

• lambda calculus

Примери коришћења Ламбда рачун на Српском и њихови преводи на Енглески

Ламбда рачун и програмски језици.
Lambda calculus and programming languages.

Ово је славно показано кроз ламбда рачун.
This is famously demonstrated through lambda calculus.

Ламбда рачун и програмски језици[ уреди].
Lambda calculus and programming languages[edit].

Не постоји концепт променљивих декларација у ламбда рачуну.
There is no concept in lambda calculus of variable declaration.

У ламбда рачуну, Y gје фиксирана тачка g, као што је показано.
In the lambda calculus, Y gis a fixed-point of g, as it expands to.

Ипак, подаци се могу симулирати одговарајућим функцијама као у ламбда рачуну.
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.

Ламбда рачун укључује два упрошћавања која чине семантику једноставном.
The lambda calculus incorporates two simplifications that make this semantics simple.

Друго поједностављење је то да ламбда рачун користи само функције једног улаза.
The second simplification was that Lambda calculus only used functions of a single input.

Међутим, ламбда рачун не нуди било какву експлицитну конструкцију за паралелну обраду.
However, the lambda calculus does not offer any explicit constructs for parallelism.

Grass има формалне спецификације засноване на неутврђеном ламбда рачуну и SECD машини.
Grass has the formal specification which is based on untyped lambda calculus and the SECD machine.

Ламбда рачун пружа теоријски оквир за описивање функција и њихово израчунавање.
Lambda calculus provides a theoretical framework for describing functions and their evaluation.

Као што је већ описано, све функције у ламбда рачуну су уствари анонимне функције, тј. немају име.
As described above, all functions in the lambda calculus are anonymous functions, having no names.

Ламбда рачун је одиграо веома важну улоу у развоју теорије програмских језика.
Lambda calculus has played an important part in the maturation of the theory of programming languages.

И комбинаторна логика и ламбда рачун су развијени да би се постигао јаснији приступ основама математике.
Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics.

Ламбда рачун се може представити као идеализовани функционални програм, као што је Хаскел или Стандард ML.
The lambda calculus may be seen as an idealised functional programming language, like Haskell or Standard ML.

Черч-Росерова особина у ламбда рачуну значи да процена( β-редукција) може бити избачена у било ком редоследу, чак и у паралели.
The Church-Rosser property of the lambda calculus means that evaluation(β-reduction) can be carried out in any order, even in parallel.

Ламбда рачун је увео Алонзо Черч у 1930- им годинама као део истраге о основама математике.
The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.

Њумен је накнадно договорио Тјурингову посету Принстону где је Алонзо Черч радио на истом проблему, али користећи свој Ламбда рачун.
Newman subsequently arranged for Turing to visit Princeton where Alonzo Church was working on the same problem but using his Lambda calculus.

Ламбда рачун има улогу у много различитих свера, као нпр. у математици, филозофији,[ 3] лингвистици,[ 4][ 5] и рачунарству.
Lambda calculus has applications in many different areas in mathematics, philosophy,[2] linguistics,[3][4] and computer science.

Корени функционалног програмирања леже у ламбда рачуну, формалном систему развијеном током 1930-их ради проучавања дефиниције и примене функција и рекурзије.
Functional programming has its origins in lambda calculus, a formal system developed in the 1930s to investigate computability, the Entscheidungsproblem, function definition, function application, and recursion.

Ламбда рачун чини" функције" повезанијим и чини их објектима прве класе што утиче на пораст комплексности имплементације када буде извршена.
Lambda calculus reifies"functions" and makes them first-class objects, which raises implementation complexity when it is implemented.

Увео га је Алонзо Черч да формулише концепт ефективног рачунања, ламбда рачун је наишо на прве успехе на пољу теорије рачунања, као што је негативан одговор на Хилбертов проблем одлуке.
First formulated by Alonzo Church to formalize the concept of effective computability, lambda calculus found early successes in the area of computability theory, such as a negative answer to Hilbert's Entscheidungsproblem.

У ламбда рачуну у рачунарству, су функционални програми, који имплементирају ламбда рачун( повећати неке константе и типове података).
Counterparts to lambda calculus in computer science are functional programming languages, which essentially implement the lambda calculus(augmented with some constants and datatypes).

Класа израчунљивих функција се може дефинисати у многим еквивалентним моделима обрачуна, укључујући Тјурингова машина μ-рекурзивне функције Ламбда рачун Пост машине( Пост-Тјурингове машине и машине за ознаку).
The class of computable functions can be defined in many equivalent models of computation, including Turing machines μ-recursive functions Lambda calculus Post machines(Post-Turing machines and tag machines).

Ламбда рачун је концептуално једноставан универзални модел рачунања( Тјуринг је показао 1937. године[ 1] да Тјурингова машина једнака ламбда рачуну у експресивности).
Lambda calculus is a conceptually simple universal model of computation(Turing showed in 1937[1] that Turing machines equated the lambda calculus in expressiveness).

Ево неколико: Теорија аутомата Формална граматика( генератори језика) Формални језик( препознавач језика) Ламбда рачун Пост-Тјурингове машине Већина програмских језика, конвенционални и неконвенционални, су Тјуринг-потпуни.
Here are a few: Automata theory Formal grammar(language generators) Formal language(language recognizers) Lambda calculus Post-Turing machines Process calculus Most programming languages, conventional and unconventional, are Turing-complete.

Ламбда рачун се састоји од програма ламбда услова, који су дефинисани одређеном формалном синтаксом, и сетом трансформацијских правила, који допуштају манипулацију ламбда услова.
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.

Мноштво програмских језика захтева сакупљаче смећа, као део програмске спецификације( на пример, Јава, C, D програм, Гоу и мноштво скрипт програма) или ефективно за практичну имплементацију( нпр., формални програми као ламбда рачун); за њих се каже да су програми за сакупљање смећа.
Many programming languages require garbage collection, either as part of the language specification(for example, Java, C, D, Go and most scripting languages) or effectively for practical implementation(for example, formal languages like lambda calculus); these are said to be garbage collected languages.