Examples of using Lambda calculus in English and their translations into Serbian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
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.
Не постоји концепт променљивих декларација у ламбда рачуну.The lambda calculus incorporates two simplifications that make this semantics simple.
Ламбда рачун укључује два упрошћавања која чине семантику једноставном.Could a sensible meaning be assigned to lambda calculus terms?
Да ли се могу разумна значења доделти изразима ламбда рачуна?In the lambda calculus, Y gis a fixed-point of g, as it expands to.
У ламбда рачуну, Y gје фиксирана тачка g, као што је показано.Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
Ипак, подаци се могу симулирати одговарајућим функцијама као у ламбда рачуну.The second simplification was that Lambda calculus only used functions of a single input.
Друго поједностављење је то да ламбда рачун користи само функције једног улаза.Lambda calculus provides a theoretical framework for describing functions and their evaluation.
Ламбда рачун пружа теоријски оквир за описивање функција и њихово израчунавање.Grass has the formal specification which is based on untyped lambda calculus and the SECD machine.
Grass има формалне спецификације засноване на неутврђеном ламбда рачуну и SECD машини.However, the lambda calculus does not offer any explicit constructs for parallelism.
Међутим, ламбда рачун не нуди било какву експлицитну конструкцију за паралелну обраду.Perhaps the first formal incarnation of operational semantics was the use of the lambda calculus to define the semantics of LISP by John McCarthy.
Можда је прво формално оличење оперативне семантике употреба ламбда рачуна за дефинисање семантике ЛИСП-а од стране Џона Макартија.Lambda calculus has played an important part in the maturation of the theory of programming languages.
Ламбда рачун је одиграо веома важну улоу у развоју теорије програмских језика.As described above, all functions in the lambda calculus are anonymous functions, having no names.
Као што је већ описано, све функције у ламбда рачуну су уствари анонимне функције, тј. немају име.The lambda calculus may be seen as an idealised functional programming language, like Haskell or Standard ML.
Ламбда рачун се може представити као идеализовани функционални програм, као што је Хаскел или Стандард ML.This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry.
Овај механизам замене олакшава рад у комбинаторној логици и ламбда рачуна и тај механизам касније се назива curring, по Хаскелу Карију.The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.
Ламбда калкулус појавио се у његовом познатом раду из 1936. године који је показао постојање„ проблема неодлучивости“.The use of mathematical logic to represent andexecute computer programs is also a feature of the lambda calculus, developed by Alonzo Church in the 1930s.
Употреба математичке логике да се представе иизврше рачунарски програми је такође одлика ламбда рачуна, коју је развио Alonzo Church у 1930.The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Ламбда калкулус је утицао на дизајн Лисп програмског језика и функционалног програмирања уопште.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).
Класа израчунљивих функција се може дефинисати у многим еквивалентним моделима обрачуна,укључујући Тјурингова машина μ-рекурзивне функције Ламбда рачун Пост машине( Пост-Тјурингове машине и машине за ознаку).The lambda calculus emerged in his famous 1936 paper showing the existence of an"undecidable problem".
Ламбда калкулус појавио се у његовом познатом раду из 1936. године који је показао постојање„ проблема неодлучивости“.The Church-Rosser property of the lambda calculus means that evaluation(β-reduction) can be carried out in any order, even in parallel.
Черч-Росерова особина у ламбда рачуну значи да процена( β-редукција) може бити избачена у било ком редоследу, чак и у паралели.The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics.
Ламбда рачун је увео Алонзо Черч у 1930- им годинама као део истраге о основама математике.Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics.
И комбинаторна логика и ламбда рачун су развијени да би се постигао јаснији приступ основама математике.Lambda calculus has applications in many different areas in mathematics, philosophy,[2] linguistics,[3][4] and computer science.
Ламбда рачун има улогу у много различитих свера, као нпр. у математици, филозофији,[ 3] лингвистици,[ 4][ 5] и рачунарству.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.
Корени функционалног програмирања леже у ламбда рачуну, формалном систему развијеном током 1930-их ради проучавања дефиниције и примене функција и рекурзије.Lambda calculus reifies"functions" and makes them first-class objects, which raises implementation complexity when it is implemented.
Ламбда рачун чини" функције" повезанијим и чини их објектима прве класе што утиче на пораст комплексности имплементације када буде извршена.Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate computability, the Entscheidungs problem, function definition, function application, and recursion.
Корени функционалног програмирања леже у ламбда рачуну, формалном систему развијеном током 1930-их ради проучавања дефиниције и примене функција и рекурзије.Counterparts to lambda calculus in computer science are functional programming languages, which essentially implement the lambda calculus(augmented with some constants and datatypes).
У ламбда рачуну у рачунарству, су функционални програми, који имплементирају 
