Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus
Definitie
Vertaling van "lambda calculus" in Roemeens
Definitie NEW
calculul lambda
calculus lambda
calcul lambda
lambda calculus
In this article, the author uses arguments based on lambda calculus to show why software cannot be patented.
În acest articol, autorul folosește argumente bazate pe calculul lambda ca să arate de ce software-ul nu poate fi patentat.
An equivalent theoretical formulation, combinatory logic, is commonly perceived as more abstract than lambda calculus and preceded it in invention.
Logica combinatorică este percepută ca fiind mai abstractă decât calculul lambda și a fost inventată înaintea acestuia.
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.
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.
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.
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.
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.
Although Turing's proof was published shortly after Alonzo Church's equivalent proof using his lambda calculus, Turing had been unaware of Church's work. Turing's approach is considerably more accessible and intuitive than Church's.
Deși demonstrația sa a fost publicată după demonstrația similară a lui Alonzo Church valabilă pentru calculul lambda, lucrarea lui Turing este mai accesibilă și mai intuitivă.
Although Turing's proof was published shortly after Alonzo Church's equivalent proof using his lambda calculus, Turing's approach is considerably more accessible and intuitive than Church's.
Deși demonstrația lui Turing a fost publicată la scurt timp după o demonstrație echivalentă a lui Alonzo Church care a dezvoltat și a folosit calculul lambda(en), Turing nu cunoștea lucrarea lui Church.
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).
Lambda calculus provides a theoretical framework for describing functions and their evaluation.
Calculul lambda reprezintă contextul teoretic al descrierii și evaluării funcțiilor.
In lambda calculus all functions are anonymous.
In lambda calculus toate functiile sunt anonime.
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.
Synoniemen voor lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 17. Verstreken tijd: 17 ms.
