ЛЯМБДА-ИСЧИСЛЕНИЕ

Русско-английский перевод ЛЯМБДА-ИСЧИСЛЕНИЕ

Lambda calculus

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

ЛЯМБДА-ИСЧИСЛЕНИЕ — мат. lambda calculus
Большой Русско-Английский словарь
ЛЯМБДА — Lambda
Русско-Американский Английский словарь
ИСЧИСЛЕНИЕ — Calculus
Русско-Американский Английский словарь
ИСЧИСЛЕНИЕ — calculation; мат. calculus
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ИСЧИСЛЕНИЕ — с. 1. (вычисление) calculation, computation; ~ налога фин. calculation of a tax, tax calculation; 2. мат. calculus
Русско-Английский словарь общей тематики
ИСЧИСЛЕНИЕ — calculus
Новый Русско-Английский биологический словарь
ИСЧИСЛЕНИЕ — Calculation
Russian Learner's Dictionary
ИСЧИСЛЕНИЕ — calculus
Russian Learner's Dictionary
ИСЧИСЛЕНИЕ — с. calculation; мат. calculus
Русско-Английский словарь
ИСЧИСЛЕНИЕ — с. calculation; мат. calculus
Russian-English Smirnitsky abbreviations dictionary
ИСЧИСЛЕНИЕ — calculus
Russian-English Edic
ИСЧИСЛЕНИЕ — calculus, computation
Русско-Английский словарь по машиностроению и автоматизации производства
ИСЧИСЛЕНИЕ — ср. calculation; calculus матем. вести исчисление — ( от какой-л. даты ) to date - в долларовом исчислении - в …
Русско-Английский краткий словарь по общей лексике
ИСЧИСЛЕНИЕ — calculus матем., estimate, rating, numbering, numeration
Русско-Английский словарь по строительству и новым строительным технологиям
ЛЯМБДА — Caret
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — Stone
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — Computing
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — Calculation
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — numeration
Русско-Английский экономический словарь
ИСЧИСЛЕНИЕ — с. 1. (вычисление) calculation, computation; ~ налога фин. calculation of a tax, tax calculation; 2. мат. calculus
Русско-Английский словарь - QD
ЛЯМБДА — lambda
Большой Русско-Английский словарь
ИСЧИСЛЕНИЕ — ср. calculation calculus мат. вести исчисление – (от какой-л. Даты) to date дифференциальное исчисление вариационное исчисление интегральное исчисление с. 1. …
Большой Русско-Английский словарь
ИСЧИСЛЕНИЕ — исчисление calculus
Русско-Английский словарь Сократ
ЛЯМБДА-ВЫРАЖЕНИЕ — ( в лямбда-исчислении ) lambda expression
Russian-English Edic
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
NUMERATION — сущ. 1) исчисление, счет decimal numeration Syn : calculation, calculus 2) нумерация исчисление, счет - decimal * (математика) десятичная система …
Большой Англо-Русский словарь
LAMBDA PARTICLE — лямбда(-гиперон)
Большой Англо-Русский словарь
LAMBDA OPERATOR — мат. лямбда-оператор
Большой Англо-Русский словарь
LAMBDA NOTATION — лог. лямбда-нотация, лямбда-обозначение
Большой Англо-Русский словарь
LAMBDA MATRIX — мат. лямбда-матрица
Большой Англо-Русский словарь
LAMBDA LIST — список переменных в выражении LAMBDA, список переменных в лямбда-выражении (ЛИСП)
Большой Англо-Русский словарь
LAMBDA LIST — список переменных в выражении LAMBDA, список переменных в лямбда-выражении (ЛИСП)
Большой Англо-Русский словарь
LAMBDA FUNCTION — мат. лямбда-функция
Большой Англо-Русский словарь
LAMBDA EXPRESSION — лямбда-выражение (в лямбда-исчислении)
Большой Англо-Русский словарь
LAMBDA DISTRIBUTION — мат. лямбда-распределение
Большой Англо-Русский словарь
LAMBDA DESIGN RULE — правило проектирования с учетом лямбда-норм (при кремниевой компиляции)
Большой Англо-Русский словарь
LAMBDA CONVERSION — лямбда-преобразование
Большой Англо-Русский словарь
LAMBDA CALCULUS — мат. лямбда-исчисление
Большой Англо-Русский словарь
LAMBDA-CONVERSION — лямбда-преобразование
Большой Англо-Русский словарь
LAMBDA — лямбда, ламбда - lambda calculus - lambda conversion - lambda distribution - lambda function - lambda matrix - lambda operator …
Большой Англо-Русский словарь
COMBINATOR — комбинатор (лямбда-выражение, не содержащее свободных переменных) Combinator
Большой Англо-Русский словарь
CAPITATION — сущ. исчисление, производимое из расчета на одного человека capitation tax capitation grant (историческое) подушный налог, подушная подять сбор, плата (за …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
ALPHA CONVERSION — альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру)
Большой Англо-Русский словарь
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
CALCULUS — I [ʹkælkjʋləs] n ( pl тж. -li) 1. мат. исчисление the (differential) ~ - дифференциальное исчисление ~ of probabilities - …
Новый большой Англо-Русский словарь - Апресян, Медникова
CALCULUS — _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities - …
Большой новый Англо-Русский словарь
LAMBDA NOTATION — логика лямбда-нотация, лямбда-обозначение
Англо-Русский словарь по компьютерам
LAMBDA EXPRESSION — лямбда-выражение (в лямбда-исчислении )
Англо-Русский словарь по компьютерам
ALPHA CONVERSION — альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру )
Англо-Русский словарь по компьютерам
LAMBDA NOTATION — логика лямбда-нотация, лямбда-обозначение
Англо-Русский словарь по вычислительной технике и программированию
LAMBDA EXPRESSION — лямбда-выражение (в лямбда-исчислении)
Англо-Русский словарь по вычислительной технике и программированию
ALPHA CONVERSION — альфа-преобразование (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру)
Англо-Русский словарь по вычислительной технике и программированию
LAMBDA NOTATION — лямбда-нотация, лямбда-обозначение
Англо-Русский словарь компьютерных терминов
LAMBDA EXPRESSION — лямбда-выражение ( в лямбда-исчислении )
Англо-Русский словарь компьютерных терминов
КОНЕЧНЫЕ — Исчисление конечных разностей связано с изучением свойств и применений разностей между соседними членами какой-нибудь последовательности или между значениями функции в …
Русский словарь Colier
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
LAMBDA NOTATION — лог. лямбда-нотация, лямбда-обозначение
Новый большой Англо-Русский словарь
LAMBDA EXPRESSION — лямбда-выражение (в лямбда-исчислении)
Новый большой Англо-Русский словарь
LAMBDA — лямбда, ламбда - lambda calculus - lambda conversion - lambda distribution - lambda function - lambda matrix - lambda operator …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь

Русско-Американский Английский словарь

← ЛЯМБДА-ЗОНД ЛЯМКА→