ФОРМАЛЬНАЯ ВЕТВЬ

Русско-английский перевод ФОРМАЛЬНАЯ ВЕТВЬ

мат. formal branch

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ВЕТВЬ — f. branch; ветвь с весом, weighted branch; метод ветвей и границ, branch and bound algorithm
Russian-English Dictionary of the Mathematical Sciences
ВЕТВЬ — Branch
Русско-Американский Английский словарь
ВЕТВЬ — branch, bough; ( перен. ) branch
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ВЕТВЬ — 1. branch, limb, bough; 2. (отрасль чего-л.) branch branch прям. и перен.; bough ветвь с листьями — frond боковая ветвь …
Русско-Английский словарь общей тематики
ВЕТВЬ — I 1) arm 2) branch 3) rame 4) ramification 5) ramus II - скелетная ветвь дерева bough
Новый Русско-Английский биологический словарь
ВЕТВЬ — Branch
Russian Learner's Dictionary
ВЕТВЬ — bough
Russian Learner's Dictionary
ВЕТВЬ — ж. branch, bough; ( перен. ) branch
Русско-Английский словарь
ВЕТВЬ — ж. branch, bough; ( перен. ) branch
Russian-English Smirnitsky abbreviations dictionary
ВЕТВЬ — branch, leg, (напр. цепи) reach, (напр. конвейера) run, (цепной передачи) strand, (программы) task
Русско-Английский словарь по машиностроению и автоматизации производства
ВЕТВЬ — жен. branch прям. и перен. ; bough ветвь с листьями — frond боковая ветвь — ( рода ) offshoot
Русско-Английский краткий словарь по общей лексике
ВЕТВЬ — branch, leg, ramification
Русско-Английский словарь по строительству и новым строительным технологиям
ВЕТВЬ — Branch
Британский Русско-Английский словарь
ВЕТВЬ — filiation
Русско-Английский экономический словарь
ВЕТВЬ — 1. branch, limb, bough; 2. (отрасль чего-л.) branch
Русско-Английский словарь - QD
ВЕТВЬ — (родства) branch
Русско-Английский юридический словарь
ВЕТВЬ — I см. восходящий ( антон. нисходящий II • The arms ( or branches ) of a Wheatstone bridge ( эл. …
Русско-Английский научно-технический словарь переводчика
ВЕТВЬ — (конвейера, цепи) strand
Современный Русско-Английский словарь по машиностроению и автоматизации производства
ВЕТВЬ — 1) branch 2) path
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕТВЬ — жен. branch прям. и перен. bough ветвь с листьями – frond боковая ветвь – (рода) offshoot ж. 1. branch, limb, …
Большой Русско-Английский словарь
ВЕТВЬ — ветвь branch
Русско-Английский словарь Сократ
WELL-FORMEDNESS — лингв. формальная правильность; отмеченность формальная правильность
Большой Англо-Русский словарь
TECHNICAL DIFFICULTY — техническая трудность, формальная трудность
Большой Англо-Русский словарь
SYSTEM — сущ. 1) а) система Syn : method б) система, устройство; метод adversary system ≈ система состязательности в суде (правда выясняется …
Большой Англо-Русский словарь
SANCTION — 1. сущ. 1) официальное одобрение, разрешение, поддержка (чего-л.) to give sanction to ≈ одобрять (что-л.), давать разрешение на что-л. to …
Большой Англо-Русский словарь
PLEADING — 1. сущ. 1) юр. защита, выступление в роли адвоката Syn : advocacy, defence 2) мн.; юр. а) заявления, подаваемые в …
Большой Англо-Русский словарь
PALM — I 1. сущ. 1) а) ладонь to read smb.'s palm ≈ гадать кому-л. по руке sweaty palm ≈ потная ладонь …
Большой Англо-Русский словарь
OLIVE-BRANCH — сущ. 1) оливковая ветвь (символ мира) to hold out the olive-branch ≈ делать мирные предложения; пытаться уладить дело миром 2) …
Большой Англо-Русский словарь
OFFSHOOT — сущ. 1) ответвление, отводок, боковой отросток (тж. перен.) Syn : derivative 2) боковая ветвь (рода, фамилии), родство ответвление, отводок, боковой …
Большой Англо-Русский словарь
MODEL
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
LOG-EXPONENTIAL — логарифмически экспоненциальный formal log-exponential matrix ≈ формальная логарифмически экспоненциальная матрица - log-exponential sum
Большой Англо-Русский словарь
LIVERY — I прил. 1) напоминающий по цвету или консистенции печень 2) разг. связанный с расстройством или болезнью печени, предполагающий расстройство печени …
Большой Англо-Русский словарь
LETTER — I 1. сущ. 1) буква block letter ≈ прописная печатная буква capital letter, large letter, upper-case letter ≈ прописная (заглавная, …
Большой Англо-Русский словарь
GRAMMAR — сущ. 1) грамматика categorial grammar context-free grammar comparative grammar descriptive grammar functional grammar generative grammar historical grammar phrase-structure grammar prescriptive …
Большой Англо-Русский словарь
FORMALITY — сущ. 1) формальная сторона, формальность (действие, процесс, процедура установленного порядка) to complete, go through the formality ≈ исполнять формальности bureaucratic …
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
FORMAL VARIABLE — лог. формальная переменная
Большой Англо-Русский словарь
FORMAL VALIDITY — мат. формальная обоснованность
Большой Англо-Русский словарь
FORMAL THEORY — формальная теория
Большой Англо-Русский словарь
FORMAL LOGIC — формальная логика формальная логика
Большой Англо-Русский словарь
ERROR — сущ. 1) заблуждение, оплошность, ошибка (во взглядах, расчетах и т. д.) in error, by error, through error ≈ по ошибке, …
Большой Англо-Русский словарь
DELIVERY — сущ. 1) а) поставка, доставка Extraordinary charges for the delivery of goods. ≈ Жуткие цены за доставку. accept delivery delivery …
Большой Англо-Русский словарь
BRANCH — 1. сущ. 1) что-л. похожее на ветку дерева а) ветвь, ветка (у растений) б) применительно к оленьим рогам в) деталь …
Большой Англо-Русский словарь
BRANCH — 1) ветвь, ветка; сук 2) ответвление; отвод; ветвь; рукав || разветвляться; ветвиться; отводить; ответвлять(ся) 3) промежуточная горная выработка 4) нитка, …
Большой Англо-Русский политехнический словарь
BRANCH — 1) ветвь, ветка; сук 2) ответвление; отвод; ветвь; рукав || разветвляться; ветвиться; отводить; ответвлять(ся) 3) промежуточная горная выработка 4) нитка, ветвь (трубопровода) 5) патрубок; …
Большой Англо-Русский политехнический словарь - РУССО
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
FORMAL RATIONALITY — формальная рациональность; по М. Веберу - основной принцип общественного и институционального развития. формальная рациональность; по М. Веберу - рациональность как …
Англо-Русский социологический энциклопедический словарь
FORMAL LOGIC — формальная логика; наука о законах выведения нового знания из ранее полученного знания без специальных опытов или экспериментов, а только с …
Англо-Русский социологический энциклопедический словарь
ГОГЕНЦОЛЛЕРНЫ — (Hohenzollern), немецкая графская, княжеская, королевская и императорская династия, корни которой с уверенностью прослеживаются с 11 в. Тогда в южногерманской области …
Русский словарь Colier
СЕРДЦЕ — мощный мышечный орган, нагнетающий кровь через систему полостей (камер) и клапанов в распределительную сеть, называемую системой кровообращения. У человека сердце …
Русский словарь Colier
ГУССЕРЛЬ — (Husserl, Edmund) (1859-1938), немецкий философ, основатель феноменологии как философского движения. Благодаря преподавательской деятельности и многочисленным работам оказал значительное влияние на …
Русский словарь Colier
АНАЛИТИЧЕСКАЯ — преобладающее течение мысли в англоязычных странах 20 в.; способ философствования, ориентирующийся на идеалы ясности, точности и логической строгости. Последние были …
Русский словарь Colier
FORMAL TRANSFER — фин., бирж. формальная передача (официальная передача прав на что-л. либо самих объектов собственности (напр. товаров, ценных бумаг, имущества и т. …
Новый Англо-Русский толковый словарь по финансовым рынкам
WELL-FORMEDNESS — лингв. формальная правильность; отмеченность формальная правильность
Новый большой Англо-Русский словарь
PALM — I 1. сущ. 1) а) ладонь to read smb.'s palm ≈ гадать кому-л. по руке sweaty palm ≈ потная ладонь …
Новый большой Англо-Русский словарь
OFFSHOOT — сущ. 1) ответвление, отводок, боковой отросток (тж. перен.) Syn : derivative 2) боковая ветвь (рода, фамилии), родство ответвление, отводок, боковой …
Новый большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
LIVERY — I прил. 1) напоминающий по цвету или консистенции печень 2) разг. связанный с расстройством или болезнью печени, предполагающий расстройство печени …
Новый большой Англо-Русский словарь
FORMALITY — сущ. 1) формальная сторона, формальность (действие, процесс, процедура установленного порядка) to complete, go through the formality ≈ исполнять формальности bureaucratic …
Новый большой Англо-Русский словарь
FORMAL LOGIC — формальная логика формальная логика
Новый большой Англо-Русский словарь
ERROR — сущ. 1) заблуждение, оплошность, ошибка (во взглядах, расчетах и т. д.) in error, by error, through error ≈ по ошибке, …
Новый большой Англо-Русский словарь
DELIVERY — сущ. 1) а) поставка, доставка Extraordinary charges for the delivery of goods. ≈ Жуткие цены за доставку. accept delivery delivery …
Новый большой Англо-Русский словарь
BRANCH — 1. сущ. 1) что-л. похожее на ветку дерева а) ветвь, ветка (у растений) б) применительно к оленьим рогам в) деталь …
Новый большой Англо-Русский словарь

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

← ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ФОРМАЛЬНАЯ ВЫВОДИМОСТЬ→