BETA REDUCTION

Англо-русский перевод BETA REDUCTION

матем бета-редукция (в лямбда-исчислении)

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

BETA REDUCTION — [ lambda-calculus ] The application of a lambda abstraction to an argument expression. A copy of the body of the …
FOLDOC Computer English Dictionary
BETA REDUCTION — матем бета-редукция (в лямбда-исчислении )
Англо-Русский словарь по компьютерам
BETA — n [Bot.] beet; beta foliose leaf beet; beta salvage wild beet; beta de forrage mangel-wurzel; beta de sucro sugar beet …
Interlingua English vocab
BETA — I. noun Etymology: Middle English betha, from Latin ~, from Greek bēta, of Semitic origin; akin to Hebrew bēth beth …
Толковый словарь английского языка - Merriam Webster
REDUCTION — I Any of a class of electrons associated with an atom or group of atoms is increased. The electrons taken …
Английский словарь Британика
BETA — [c mediumvioletred] (as used in expressions) beta decay beta adrenergic blocking agent {{link=Phi Beta Kappa">Phi Beta Kappa
Английский словарь Британика
BETA — I. ˈbād.ə, -ātə also ˈbē- noun ( -s ) Etymology: Greek bēta, of Semitic origin; akin to Hebrew bēth- — …
Webster's New International English Dictionary
REDUCTION — rə̇ˈdəkshən, rēˈ- noun ( -s ) Etymology: Middle English reduccion, from Middle French reduction, from Late Latin & Latin; Late …
Webster's New International English Dictionary
REDUCTION — (n.) The act of reducing, or state of being reduced; conversion to a given state or condition; diminution; conquest; as, …
Английский словарь Webster
BETA — /bay"teuh/ or, esp. Brit., /bee"-/ , n. 1. the second letter of the Greek alphabet (B). 2. the consonant sound …
Random House Webster's Unabridged English Dictionary
BETA — n. (Informal) beta test, final testing period for new computer software before it is released on the market; beta group, …
Толковый словарь английского языка - Редакция bed
BETA — I. ˈbā-tə, chiefly Brit ˈbē- noun Etymology: Middle English betha, from Latin beta, from Greek bēta, of Semitic origin; akin …
Merriam-Webster's Collegiate English vocabulary
REDUCTION — vt the correction of observations for known errors of instruments, ·etc. 2. reduction ·vt the operation of restoring a dislocated …
Webster English vocab
BETA — [be.ta] n [ME betha, fr. L beta, fr. Gk beta, of Sem origin; akin to Heb beth beth] (14c) 1: …
Merriam-Webster English vocab
BETA — beta, Beta BrE AmE ˈbiːt ə AmE \ ˈbeɪt̬ ə (*) ▷ beta|s z ▶ ˈ beta ˌ particle BrE …
Longman Pronunciation English Dictionary
REDUCTION — re ‧ duc ‧ tion S3 W2 /rɪˈdʌkʃ ə n/ BrE AmE noun [uncountable and countable] a decrease in the …
Longman Dictionary of Contemporary English
BETA — n. 1 the second letter of the Greek alphabet (B, Ó). 2 a second-class mark given for a piece of …
Английский основной разговорный словарь
BETA — n. 1 the second letter of the Greek alphabet (B, á). 2 a second-class mark given for a piece of …
Concise Oxford English Dictionary
BETA — n.1 the second letter of the Greek alphabet (B, {szlig}). 2 a second-class mark given for a piece of work …
Oxford English vocab
REDUCTION — noun COLLOCATIONS FROM OTHER ENTRIES a cut/reduction in expenditure ▪ There has been a marked reduction in expenditure on some …
Longman DOCE5 Extras English vocabulary
BETA — noun COLLOCATIONS FROM OTHER ENTRIES beta particle beta test beta version gamma/alpha/beta radiation technical (= radiation given off by the …
Longman DOCE5 Extras English vocabulary
BETA — B [noun] [C] - the second letter of the Greek alphabet, sometimes given as a mark for a student's work …
Cambridge English vocab
BETA — n. beta decay beta blocker beta adrenergic blocking agent Phi Beta Kappa
Britannica Concise Encyclopedia
BETA — noun Beta is used before these nouns: ↑ test , ↑ version
Oxford Collocations English Dictionary
REDUCTION — (Or "contraction") The process of transforming an expression according to certain reduction rules. The most important forms are beta reduction …
FOLDOC Computer English Dictionary
BETA — /bay't*/, /be't*/ or (Commonwealth) /bee't*/ See beta conversion , beta test . [ Jargon File ]
FOLDOC Computer English Dictionary
BETA — Kristensen, Madsen olmadsen@daimi.aau.dk , Moller-Pedersen & Nygaard, 1983. Object-oriented language with block structure, coroutines, concurrency, strong typing , part objects, …
FOLDOC Computer English Dictionary
BETA — The measure of a fund's or stocks risk in relation to the market , or an alternative benchmark . A …
Hypertextual Finance English Glossary
BETA — 1. Mostly working, but still under test; usually used with `in': `in beta'. In the Real World, systems (hardware or …
Raynet Business and Marketing English Glossary
BETA — 1. Mostly working, but still under test; usu. used with `in': `in beta'. In the Real World , systems (hardware …
Jargon File English vocabulary
BETA — beta
Kiswahili IT English Glossary
BETA — A measure correlating stock price movement to the movement of an index. Beta is used to determine the number of …
A Guide to Futures and Options Market Technology English vocab
REDUCTION — сущ. 1) а) снижение, понижение; обыкн. воен. понижение в должности и т. п. reduction from rank (to the ranks) ≈ …
Большой Англо-Русский словарь
BETA — бета (2-я буква греческого алфавита) оценка "бета"; четверка с минусом или тройка с плюсом (университетское) бета (символ для обозначения принадлежности …
Большой Англо-Русский словарь
REDUCTION — reduction.ogg rıʹdʌkʃ(ə)n n 1. 1> снижение, понижение; уменьшение, сокращение reduction of armaments of personnel - сокращение вооружений штата reduction of …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
REDUCTION — 1) уменьшение, снижение; понижение; сокращение, редукция; редуцирование 2) коэффициент вытяжки ( при прокатке ) ; коэффициент уковки ( при ковке-вытяжке …
Большой Англо-Русский политехнический словарь
BETA — 1) бета-излучение 2) бета-частица, электрон 3) бета, b ( коэффициент усиления по току ) 4) b-кварц • - gross beta …
Большой Англо-Русский политехнический словарь
REDUCTION — 1) уменьшение, снижение; понижение; сокращение, редукция; редуцирование 2) коэффициент вытяжки (при прокатке); коэффициент уковки (при ковке-вытяжке) 3) обжатие 4) восстановление; раскисление 5) дробление; измельчение 6) …
Большой Англо-Русский политехнический словарь - РУССО
BETA — 1) бета-излучение 2) бета-частица, электрон 3) бета, b (коэффициент усиления по току) 4) b-кварц • - gross beta - plasma beta
Большой Англо-Русский политехнический словарь - РУССО
REDUCTION — 1) восстановительный 2) восстановление 3) измельчение 4) концентрирование 5) обжатие 6) ослабление 7) понижение 8) преобразование 9) приведение 10) разрешение 11) раскисление 12) редукционный 13) редукция 14) редуцирование 15) сведение 16) скидка 17) снижение 18) сокращение 19) сужение 20) …
Англо-Русский научно-технический словарь
REDUCTION — reduction сущ.1) а) снижение, понижение; обыкн. воен. понижение в должности и т. п. reduction from rank (to the ranks) — …
Англо-Русский словарь Tiger
REDUCTION — n 1. 1> снижение, понижение; уменьшение, сокращение reduction of armaments of personnel - сокращение вооружений штата reduction of wages of …
Большой новый Англо-Русский словарь
REDUCTION — сущ. 1) а) снижение, понижение; обыкн. воен. понижение в должности и т. п. reduction from rank (to the ranks) — …
Англо-Русский словарь по общей лексике
BETA — сущ. бета ( вторая буква греческого алфавита ) •• - beta plus
Англо-Русский словарь по общей лексике
REDUCTION — сущ. 1) а) снижение, понижение; обыкн. воен. понижение в должности и т. п. reduction from rank (to the ranks) — разжалование Syn: degradation б) сокращение, уменьшение, …
Англо-Русский словарь общей лексики
BETA — сущ. бета (вторая буква греческого алфавита) •• - beta plus
Англо-Русский словарь общей лексики
REDUCTION — 1) редуцирование; редукция; понижение; уменьшение; ослабление 2) передаточное отношение, передаточное число 3) сжатие; обжатие; сужение 4) измельчение 5) восстановление; раскисление …
Англо-Русский словарь по машиностроению и автоматизации производства 2
REDUCTION — 1) редуцирование; редукция; понижение; уменьшение; ослабление 2) передаточное отношение, передаточное число 3) сжатие; обжатие; сужение 4) измельчение 5) восстановление; раскисление 6) коэффициент вытяжки (при прокатке) • reduction …
Англо-Русский словарь по машиностроению и автоматизации производства
BETA — _n. бета (вторая буква греческого алфавита) - beta plus
Англо-Русский словарь Мюллера - 24 редакция
BETA — n. бета (вторая буква греческого алфавита) - beta plus
Англо-Русский словарь Мюллера - редакция bed
REDUCTION — 1) редукция; уменьшение; сокращение 2) предварительная обработка; предварительное преобразование, сжатие (данных ) 3) матем. превращение; приведение; сведение (к чему-л. ); …
Англо-Русский словарь по компьютерам
REDUCTION — 1) уменьшение; сокращение 2) сужение поперечного сечения 3) редукция 4) восстановление 5) обработка полученных данных 6) приведение к одному знаменателю • reduction to — приведение к reduction in …
Англо-Русский словарь по строительству и новым строительным технологиям
REDUCTION — 1. уменьшение; снижение 2. концентрирование (нефтепродукта) перегонкой reduction per stand — частная деформация (при производстве труб); reduction to flux — перегонка до …
Большой Англо-Русский словарь по нефти и газу
REDUCTION — сущ. 1) снижение (цен) 2) сокращение, уменьшение 3) скидка 4) перевод, превращение (в другую валюту) 5) переработка 6) доведение • - amount of reduction - cost reduction - data reduction - …
Англо-Русский словарь по экономике
REDUCTION — 1) редукция; уменьшение; сокращение 2) предварительная обработка; предварительное преобразование, сжатие (данных) 3) матем. превращение; приведение; сведение (к чему-л.); упрощение • - data reduction - data-flow …
Англо-Русский словарь по вычислительной технике и программированию
BETA — _n. бета (вторая буква греческого алфавита); beta plus немного лучше второго сорта
Англо-Русский словарь Мюллера
REDUCTION — 1) сокращение ( напр. расходов) ; уменьшение, снижение (цен) ; скидка 2) редукция, сведение; превращение, перевод (в другую валюту) - …
Англо-Русский словарь по экономике и финансам
REDUCTION — 1) снижение; уменьшение; ослабление; редукция 2) преобразование, приведение - reduction in area - reduction in rigidity - reduction in weight …
Англо-Русский строительный словарь
REDUCTION — 1) уменьшение; снижение 2) подавление асинхронных помех • - alias reduction - bit rate reduction - data reduction - digital noise reduction - frequency reduction - gain reduction - …
Англо-Русский словарь по телекоммуникациям
REDUCTION — сокращение, уменьшение; смягчение (наказания) reduction in account — уменьшение суммы иска с требованием отчётности; reduction in a claim — уменьшение суммы иска; reduction …
Англо-Русский юридический словарь
REDUCTION — 1) уменьшение 2) ослабление (фотографического изображения) 3) восстановление (напр. серебра из галогенида серебра) 4) уменьшенная копия 5) разбавление (краски) - …
Англо-Русский словарь по полиграфии и издательскому делу
REDUCTION — сущ. 1) а) общ. снижение, понижение, сокращение, уменьшение; спад (процесс, в ходе которого что-либо становиться меньшим по сумме или размеру (напр., снижение …
Новый Англо-Русский толковый словарь по маркетингу и торговле
REDUCTION — сущ. 1) а) общ. снижение, понижение, сокращение, уменьшение; спад (процесс, в ходе которого что-л. становится меньшим по сумме или размеру (напр. снижение …
Новый англо-русский толковый словарь по менеджменту и экономике труда
REDUCTION — сущ. 1) а) снижение, понижение; обыкн. воен. понижение в должности и т. п. reduction from rank (to the ranks) ≈ …
Новый большой Англо-Русский словарь

Англо-Русский словарь по вычислительной технике и программированию

← BETA NODE BETA RELEASE→