What is the translation of " LAMBDA CALCULUS " in Bulgarian?

• ламбда смятането
• ламбда пресмятането
• lambda calculus
• ламбда смятане
• ламбда изчисления

Examples of using Lambda calculus in English and their translations into Bulgarian

We will be talking a lot about the lambda calculus and Church's encodings.
За ламбда смятането и за енкодингите на Чърч ще си говорим още.

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

For example, Alonzo Church was able to express the lambda calculus in a formulaic way.
Така например Алонсо Чърч успява успешно да изрази ламбда смятането чрез формули.

The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.
Ламбда смятането- то се появява в известната му статия от 1936 година, показваща нерешимостта на Entscheidugsproblem.

Most functional programming languages are based upon the lambda calculus.
Много функционални езици за програмиране могат да бъдат разглеждани като изградени върху ламбда пресмятането.

The lambda calculus emerged in his famous 1936 paper showing the existence of an"undecidable problem".
Ламбда смятането- то се появява в известната му статия от 1936 година, показваща нерешимостта на Entscheidugsproblem.

Functional programming languages are designed to sit on the lambda calculus.
Много функционални езици за програмиране могат да бъдат разглеждани като изградени върху ламбда пресмятането.

In this article, the author uses arguments based on lambda calculus to show why software cannot be patented.
В тази статия авторът използва аргументи, основани на ламбда смятане, за да покаже, че софтуерът не може да бъде патентован.

Many functional programming languages can be viewed as elaborations on the lambda calculus.
Много функционални езици за програмиране могат да бъдат разглеждани като изградени върху ламбда пресмятането.

The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Ламбда смятането повлиява дизайна на програмния език Lisp и на езиците за функционално програмиране като цяло.

Many Functional Programming languages can thus be considered as elaborations on this lambda calculus.
Много функционални езици за програмиране могат да бъдат разглеждани като изградени върху ламбда пресмятането.

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

Lisp and Scheme support anonymous functions using the"lambda" construct, which is a reference to lambda calculus.
Lisp и Scheme поддържат анонимните функции изпозвайки„ламбда“ конструкции, което е препратка към lambda calculus.

Although(untyped) lambda calculus is Turing-complete, simply typed lambda calculus is not.
Въпреки че нетипизираната ламбда функция(„untyped lambda calculus“) е цялостна по Тюринг, просто типизираната ламбда функция(„simply typed lambda calculus“) не е.

Lisp was originally created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo Church's lambda calculus.
Lisp първоначално е бил създаден като практическa математически нотация за компютърни програми, повлиянa от нотацияta на Alonzo Church- Lambda calculus.

Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Въз основа на ламбда смятане, Лисп бързо се превръща в широко предпочитан език за програмиране на приложения прилагащи изкуствен интелект, след публикуването му през 1960.

This way of representing the boolean values and the operations on them as functions is called Church's encoding of booleans and is named after Alonzo Church. He used this in the lambda calculus.
Този начин на представяне на булевите стойности и на операциите над тях чрез функции се нарича булево енкодиране на Чърч и носи името на Alonzo Church, който пръв го е използвал в ламбда смятането.

Based on the lambda calculus[citation needed], Lisp soon became the programming language of choice for AI applications after its publication in 1960.
Въз основа на ламбда смятане, Лисп бързо се превръща в широко предпочитан език за програмиране на приложения прилагащи изкуствен интелект, след публикуването му през 1960.

Especially since the development of Hindley- Milner type inference in the 1970s, functional programming languages have tended to use typed lambda calculus, as opposed to the untyped lambda calculus used in Lisp and its variants(such as Scheme).
Особено след като развитието на Hindley-Milner type inference през 1970 г., функционално програмните езици са склонни да използват типизирани ламбда изчисления, за разлика от нетипизираните, използвани в Lisp и неговите варианти(като Схема(Scheme)).

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

Many computer languages require garbage collection, either as part of the language specification( e. g., Java, C, and most scripting languages) or effectively for practical implementation( e. g., formal languages like lambda calculus); these are said to be garbage collected languages.
Много програмни езици изискват СПП, като част от езиковите спецификации(например Java, C, D language, Go и повечето скриптови езици) или ефективно за практическото изпълнение(например формалните езици като lambda calculus).

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 г., за да разследва изчислимост на дефиниция на функция, приложение функция и рекурсия.

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.
Много програмни езици изискват СПП, като част от езиковите спецификации(например Java, C, D language, Go и повечето скриптови езици) или ефективно за практическото изпълнение(например формалните езици като lambda calculus).

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.".
Чърч и Тюринг показват, че ламбда смятането и машината на Тюринг имат еквивалентна изчислителна мощ, и впоследствие демонстрират алтернативни“механични процеси на изчисление”.

Those formalizations included the Gödel- Herbrand- Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, and Alan Turing's Turing machines of 1936- 37 and 1939.
Последващите формализации- опити да се дефинира„ефективна изчислимост“ или„ефективен метод“- включват рекурсивните функции на Ербран-Гьодел-Клини от 1930, 1934 и 1935 година, ламбда смятането на Алонсо Чърч от 1936 година,„Формулировка 1“ на Емил Пост от 1936 година и машината на Тюринг от 1936- 1937 и 1939 година.

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 г., за да разследва изчислимост на дефиниция на функция, приложение функция и рекурсия.

Church's great discovery was lambda calculus… his remaining contributions were mainly inspired afterthoughts in the sense that most of his contributions, as well as some of his pupils', derive from that initial achievement.”.
Че Църквата на голямо откритие е ламбда смятане, и че оставащите му вноски са вдъхновени предимно afterthoughts в смисъл, че по-голямата част от своето участие, както и някои от неговите ученици", които произтичат от първоначалната постижение.

Attempt[s] to show that Church's great discovery was lambda calculus and that his remaining contributions were mainly inspired afterthoughts in the sense that most of his contributions, as well as some of his pupils', derive from that initial achievement.
Опитът[и], за да покаже, че Църквата на голямо откритие е ламбда смятане, и че оставащите му вноски са вдъхновени предимно afterthoughts в смисъл, че по-голямата част от своето участие, както и някои от неговите ученици", които произтичат от първоначалната постижение.