LAMBDA CALCULUS

Meaning of LAMBDA CALCULUS in English

Weak Head Normal Form

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

LAMBDA-CALCULUS — < mathematics > (Normally written with a Greek letter lambda). A branch of mathematical logic developed by Alonzo Church in …
FOLDOC Computer English Dictionary
LAMBDA CALCULUS — мат. лямбда-исчисление
Большой Англо-Русский словарь
LAMBDA CALCULUS — Лямбда-исчисление
Американский Англо-Русский словарь
LAMBDA CALCULUS — матем. лямбда-исчисление
Англо-Русский научно-технический словарь
LAMBDA CALCULUS — лямбда-исчисление. математический формализм для представления и определения функций, оказавший существенное влияние на развитие языков функционального программирования, в частности, на развитие …
Англо-Русский словарь Tiger
LAMBDA CALCULUS — лямбда-исчисление. Математический формализм для представления и определения функций, оказавший существенное влияние на развитие языков функционального программирования, в частности, на развитие …
Англо-Русский словарь по компьютерам
LAMBDA CALCULUS — мат. лямбда-исчисление
Новый большой Англо-Русский словарь
LAMBDA CALCULUS — лямбда-исчисление. математический формализм для представления и определения функций, оказавший существенное влияние на развитие языков функционального программирования, в частности, на развитие языка лисп (Lisp)
Англо-Русский словарь
LAMBDA — n lambda (= 11th letter of the Greek alphabet)
Interlingua English vocab
LAMBDA — noun Etymology: Middle English, from Greek, of Semitic origin; akin to Hebrew lāmedh lamed Date: 15th century the 11th letter …
Толковый словарь английского языка - Merriam Webster
CALCULUS — I Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Английский словарь Британика
LAMBDA — I. ˈlamdə, ˈlaam- noun ( -s ) Etymology: Greek labda, lambda, of Semitic origin; akin to Hebrew lāmedh lamedh 1. …
Webster's New International English Dictionary
CALCULUS — I. ˈkalkyələs, ˈkau̇k- noun ( plural calcu·li -ˌlī, -ē ; also calcu·lus·es -_ləsə̇z) Etymology: Latin, pebble, stone in the bladder …
Webster's New International English Dictionary
LAMBDA — (n.) The point of junction of the sagittal and lambdoid sutures of the skull.
Английский словарь Webster
LAMBDA — (n.) The name of the Greek letter /, /, corresponding with the English letter L, l.
Английский словарь Webster
LAMBDA — ( n. ) The point of junction of the sagittal and lambdoid sutures of the skull.
Webster's Revised Unabridged English Dictionary
LAMBDA — ( n. ) The name of the Greek letter /, /, corresponding with the English letter L, l.
Webster's Revised Unabridged English Dictionary
LAMBDA — /lam"deuh/ , n. 1. the 11th letter of the Greek alphabet. 2. the consonant sound represented by this letter. [ …
Random House Webster's Unabridged English Dictionary
CALCULUS — /kal"kyeuh leuhs/ , n. , pl. calculi /-luy'/ , calculuses . 1. Math. a method of calculation, esp. one of …
Random House Webster's Unabridged English Dictionary
LAMBDA — n. letter of the Greek alphabet; consonant "L" (Phonetics)
Толковый словарь английского языка - Редакция bed
LAMBDA — noun Etymology: Middle English, from Greek, of Semitic origin; akin to Hebrew lāmedh lamed Date: 15th century 1. : the …
Merriam-Webster's Collegiate English vocabulary
CALCULUS — noun ( plural cal·cu·li -ˌlī, -ˌlē ; also -lus·es ) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. …
Merriam-Webster's Collegiate English vocabulary
LAMBDA — noun the point of junction of the sagittal and lambdoid sutures of the skull. 2. lambda ·noun the name of …
Webster English vocab
CALCULUS — noun a method of computation; any process of reasoning by the use of symbols; any branch of mathematics that may …
Webster English vocab
LAMBDA — [ 'lamdə ] ■ noun 1》 the eleventh letter of the Greek alphabet ( Λ , λ ), transliterated as …
Concise Oxford English vocab
LAMBDA — [lamb.da] n [ME, fr. Gk, of Sem origin; akin to Heb lamedh lamed] (15c) 1: the 11th letter of the …
Merriam-Webster English vocab
CALCULUS — [cal.cu.lus] n, pl -li also -lus.es [L, stone (used in reckoning)] (1666) 1 a: a method of computation or calculation …
Merriam-Webster English vocab
CALCULUS — branch of mathematical analysis concerned with the rates of change of continuous functions as their arguments change. Two men are …
Britannica English vocabulary
LAMBDA — lambda BrE AmE ˈlæmd ə ▷ lambda|s z
Longman Pronunciation English Dictionary
LAMBDA — / ˈlæmdə; NAmE / noun the 11th letter of the Greek alphabet (Λ, λ) •• WORD ORIGIN Greek .
Oxford Advanced Learner's English Dictionary
LAMBDA — n. 1 the eleventh letter of the Greek alphabet. 2 the symbol for wavelength. [ME f. Gk la(m)bda]
Английский основной разговорный словарь
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Английский основной разговорный словарь
LAMBDA — n. 1 the eleventh letter of the Greek alphabet. 2 the symbol for wavelength. [ ME f. Gk la(m)bda ]
Concise Oxford English Dictionary
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Concise Oxford English Dictionary
LAMBDA — n.1 the eleventh letter of the Greek alphabet. 2 the symbol for wavelength. Etymology: ME f. Gk la(m)bda
Oxford English vocab
CALCULUS — n. (pl. calculuses or calculi) 1. Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Oxford English vocab
CALCULUS — Calculus is a branch of advanced mathematics which deals with variable quantities. N-UNCOUNT
Collins COBUILD Advanced Learner's English Dictionary
CALCULUS — noun COLLOCATIONS FROM OTHER ENTRIES differential calculus COLLOCATIONS FROM CORPUS ■ ADJECTIVE differential ▪ The package is designed to solve, …
Longman DOCE5 Extras English vocabulary
CALCULUS — n. differential calculus fundamental theorem of calculus integral calculus renal calculus predicate calculus propositional calculus
Britannica Concise Encyclopedia
CALCULUS — n. Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Britannica Concise Encyclopedia
LAMBDA — A version of typed lambda-calculus , used to describe semantic domain s. ["Outline of a Mathematical Theory of Computation", D.S. …
FOLDOC Computer English Dictionary
LAMBDA — The ratio of a change in the option price to a small change in the option volatility . It is …
Hypertextual Finance English Glossary
LAMBDA — лямбда, ламбда - lambda calculus - lambda conversion - lambda distribution - lambda function - lambda matrix - lambda operator …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
LAMBDA — Лямбда
Американский Англо-Русский словарь
LAMBDA — n 1. ламбда, лямбда ( 11-я буква греческого алфавита λ) 2. анат. место соединения ламбдовидного и стреловидного швов черепа 3. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of …
Большой Англо-Русский политехнический словарь
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of classes - calculus of enlargement - calculus …
Большой Англо-Русский политехнический словарь - РУССО
LAMBDA — лямбда, ламбда - lambda calculus - lambda conversion - lambda distribution - lambda function - lambda matrix - lambda operator
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
LAMBDA — сущ.1) ламбда, лямбда (11-я буква греческого алфавита) 2) анат. место соединения ламбдовидного и стреловидного швов черепа 3) биол. ламбда-фаг (инфицирующий …
Англо-Русский словарь Tiger
CALCULUS — I сущ.; мн. ч. -li; мед.камень bladder calculi — камни в мочевом пузыре Syn:stone II. сущ.; мн. ч. -es , …
Англо-Русский словарь Tiger
LAMBDA — (n) ламбда-гиперон; ламбда-фаг; место соединения ламбдовидного и стреловидного швов черепа
English-Russian Lingvistica'98 dictionary
LAMBDA — (0) ламбда; лямбда
English-Russian Lingvistica'98 dictionary
LAMBDA — n 1. ламбда, лямбда ( 11-я буква греческого алфавита λ) 2. анат. место соединения ламбдовидного и стреловидного швов черепа 3. …
Новый большой Англо-Русский словарь - Апресян, Медникова
LAMBDA — n 1. ламбда, лямбда ( 11-я буква греческого алфавита λ) 2. анат. место соединения ламбдовидного и стреловидного швов черепа 3. …
Большой новый Англо-Русский словарь
CALCULUS — _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities - …
Большой новый Англо-Русский словарь
LAMBDA — сущ. 1) ламбда, лямбда ( 11-я буква греческого алфавита ) 2) анат. место соединения ламбдовидного и стреловидного швов черепа 3) …
Англо-Русский словарь по общей лексике
CALCULUS — I ˈkælkjələs сущ. ; мн. calculi, calculuses; мед. камень bladder calculi — камни в мочевом пузыре II ˈkælkjələs сущ. ; …
Англо-Русский словарь по общей лексике
CALCULUS — I ['°‡®°і†®†©] сущ.; мн. calculi, calculuses; мед. камень bladder calculi — камни в мочевом пузыре II ['°‡®°і†®†©] сущ.; мн. calculi, calculuses; мат. исчисление differential calculus — дифференциальное …
Англо-Русский словарь общей лексики
CALCULUS — 1) исчисление; расчёт 2) вычисление; вычисления • - calculus of residues - calculus of variations - operational calculus
Англо-Русский словарь по машиностроению и автоматизации производства 2
CALCULUS — 1) исчисление; расчёт 2) вычисление; вычисления • - calculus of residues - calculus of variations - operational calculus
Англо-Русский словарь по машиностроению и автоматизации производства
CALCULUS — исчисление - extended propositional calculus - functional calculus - many-valued propositional calculus - predicate calculus - propositional calculus - restricted predicate calculus
Новый Англо-Русский словарь по биологии

FOLDOC Computer English Dictionary

← LAMBDA ABSTRACTION LAMBDA EXPRESSION→