ЛАМБДА - превод на Енглеском

• lambda

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

Потоји неколико појмова" еквиваленције" и" редукције" која дозвољава ламбда изразима да буду" поједностављени" својим" еквивалентним" ламбда изразима.
There are several notions of"equivalence" and"reduction" that allow lambda terms to be"reduced" to"equivalent" lambda terms.

Ламбда симбол је првобитно усвојила Алијанса геј активиста Њујорка 1970. године након што су се одвојили од већег фронта за ослобођење хомосексуалаца.
The lambda symbol was originally adopted by Gay Activists Alliance of New York in 1970 after they broke away from the larger Gay Liberation Front.

Ламбда услов је валидан
Thus a lambda term is valid if

Књижевна фондација Ламбда, препознајући запажену литературу за ЛГБТ теме својим наградама" Ламис" од 1988.
The Lambda Literary Foundation, recognizing notable literature for LGBT themes with their"Lammys" awards since 1988,

Скуп слободних променљивих ламбда израза,М, је означен као FV(М)
The set of free variables of a lambda expression, M, is denoted as FV(M)

Ламбда калкулус појавио се у његовом познатом раду из 1936. године који је показао постојање„ проблема неодлучивости“.
The lambda calculus emerged in his famous 1936 paper showing the existence of an"undecidable problem".

Ламбда калкулус је утицао на дизајн Лисп програмског језика
The lambda calculus influenced the design of the LISP programming language

Ламбда тестер је дизајниран за мерење промена које се дешавају у контролном систему затворене петље.
The Lambda Tester is designed to measure the crossover changes which occur in the closed loop control system.

Ламбда абрстракција λ x. x+ y{\ displaystyle\ lambda x. x+y}
The lambda abstraction λ x. x+ y{\displaystyle\lambda x. x+y}

Дефиниција функције са ламбда абрстракцијом само" поставља" функцију
The definition of a function with a lambda abstraction merely"sets up" the function

Ламбда калкулус је утицао на дизајн Лисп програмског језика
The lambda calculus also influenced the design of the LISP programming language

Други сматра да су Римљани осећали ламбда симболизовала" светлост знања која сија у мрак незнања".
Another holds that the Romans felt the lambda symbolized“the light of knowledge shining into the darkness of ignorance.

Ламбда калкулус појавио се у његовом познатом раду из 1936. године који је показао постојање„ проблема неодлучивости“.
The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.

нису ограничене ламбда апстракцијом.
because they are not bound in a lambda abstraction.

верзија ламбда рачуна која изоставља ламбда оператор.
a version of the lambda calculus that omits the lambda operator.

који допуштају манипулацију ламбда услова.
which allow manipulation of the lambda terms.

који су мислили да је то ламбда представљено јединство;
great warriors of Sparta, who thought that the lambda represented unity;

На пример, ламбда израз представљен идентитетом λ x. x{\ displaystyle\ lambda x. x}
For example, the lambda term representing the identity λ x. x{\displaystyle\lambda x. x}

Ламбда, опскурно име Аллред каже да је изабрао јер је то израз који му се допада и који описује облик математичке логике,
Lambda, an obscure name Allred says he chose because it is a term he liked that describes a form of mathematical logic,

У дефиницији као што је λ x. x+ y{\ displaystyle\ lambda x. x+y}( i. e. f( x)= x+ y{\ displaystyle f( x) =x+y}), ламбда рачун третира y{\ displaystyle y} променљиву која још увек није дефинисана.
In a definition such as λ x. x+ y{\displaystyle\lambda x. x+y}(i.e. f( x)= x+ y{\displaystyle f(x)=x+y}), the lambda calculus treats y{\displaystyle y} as a variable that is not yet defined.