Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
the lambda calculus
Vertaling van "the lambda calculus" in Roemeens
calculul lambda
Inspired by the lambda calculus, the interpreter for the programming language Lisp made use of a data structure called an environment so that the values of parameters did not have to be substituted into the body of an invoked lambda expression.
Inspirat de calculul lambda, interpreter pentru limbajul de programare Lisp face uz de o structură de date numită mediu în felul că valoarea parametrilor nu trebuie să fie substituită în corpul expresiilor lambda invocate.
Turing machines, Post productions, the lambda calculus, etc.) are based on mathematics that makes use of a global state to represent a computational step.
Turing machines, Post productions, the lambda calculus, etc.) au fost bazate pe matematică și folosesc o stare globală să reprezinte un pas computațional (mai târziu generalizat în și.
Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Bazat pe calculul lambda, LISP a devenit rapid limbajul de programare preferat pentru aplicații de IA după ce a fost publicat de McCarthy în 1960.
Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation."
Church și Turing au demonstrat apoi că calculul lambda și mașina Turing utilizată în problema opririi a lui Turing sunt echivalente în capabilități, și, ulterior, a demonstrat o varietate de "procese mecanice de calcul" alternative. Acest lucru a dus la teza Church-Turing.
The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Calculul lambda a influențat designul limbajului de programare LISP și limbajele de programare funcțională în general.
The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.
Calculul lambda, apărut în lucrarea sa din 1936 demonstrează nerezolvabilitatea problemei deciziei.
The lambda calculus of Alonzo Church can be viewed as the earliest message passing programming language (see Hewitt, Bishop, and Steiger 1973; Abelson and Sussman 1985).
Calculul Lambda al lui Alonzo Church poate fi văzut ca cel dintâi limbaj de programare bazat pe transmiterea mesajelor (message passing). (vezi Hewitt, Bishop, and Steiger 1973; Abelson and Sussman 1985).
Synoniemen voor the lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 41 ms.
