СВЕРТЫВАНИЕ КВАНТОРОВ

Русско-английский перевод СВЕРТЫВАНИЕ КВАНТОРОВ

мат. contraction of quantifiers

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

СВЁРТЫВАНИЕ — n. convolution, rolling up, curtailment, turning, folding, contraction (of tensors)
Russian-English Dictionary of the Mathematical Sciences
СВЕРТЫВАНИЕ — Clotting
Русско-Американский Английский словарь
СВЁРТЫВАНИЕ — 1. ( трубкой ) rolling up 2. ( сокращение ) curtailment, reduction, cutting down свёртывание производства — curtailment of production, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
СВЁРТЫВАНИЕ — ср. 1) rolling (трубкой) • 2) curtailment, reduction (сокращение) 3) turning, setting (о сливках, молоке); coagulation (о крови)
Русско-Английский словарь общей тематики
СВЕРТЫВАНИЕ — с. 1. (скатывание) rolling up; 2. (ограничение производства и т. п.) curtailment, discontinuing; (временное прекращение) temporary closure; 3. (молока) turning, …
Русско-Английский словарь общей тематики
СВЕРТЫВАНИЕ — 1) clotting 2) coagulation 3) congelation
Новый Русско-Английский биологический словарь
СВЁРТЫВАНИЕ — с. 1. ( трубкой ) rolling up 2. ( сокращение ) curtailment, reduction, cutting down свёртывание производства — curtailment of …
Русско-Английский словарь
СВЁРТЫВАНИЕ — с. 1. ( трубкой ) rolling up 2. ( сокращение ) curtailment, reduction, cutting down свёртывание производства — curtailment of …
Russian-English Smirnitsky abbreviations dictionary
СВЕРТЫВАНИЕ — coagulation
Русско-Английский словарь по строительству и новым строительным технологиям
СВЕРТЫВАНИЕ — с. 1. (скатывание) rolling up; 2. (ограничение производства и т. п.) curtailment, discontinuing; (временное прекращение) temporary closure; 3. (молока) turning, curdling; (крови) coagulation, curdling
Русско-Английский словарь - QD
СВЕРТЫВАНИЕ — folding
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
СВЕРТЫВАНИЕ — coagulation
Русско-Английский биологический словарь
СВЁРТЫВАНИЕ — coagulation с. 1. (скатывание) rolling up 2. (ограничение производства и т. п.) curtailment, discontinuing (временное прекращение) temporary closure 3. (молока) …
Большой Русско-Английский словарь
СВЕРТЫВАНИЕ — ср. 1) rolling (трубкой) 2) curtailment, reduction (сокращение) 3) turning, setting (о сливках, молоке) coagulation (о крови) rolling up coagulation
Большой Русско-Английский словарь
СВЕРТЫВАНИЕ — свертывание rolling up;coagulation
Русско-Английский словарь Сократ
ЭЛИМИНАЦИЯ КВАНТОРОВ — мат. elimination of quantifiers
Большой Русско-Английский словарь
СЖАТИЕ КВАНТОРОВ — мат. contraction of quantifiers
Большой Русско-Английский словарь
РЕЛЯТИВИЗАЦИЯ КВАНТОРОВ — мат. relativization of quantifiers
Большой Русско-Английский словарь
НАВЕШИВАНИЕ КВАНТОРОВ — closure, quantification
Большой Русско-Английский словарь
КОРТЕЖ КВАНТОРОВ — мат. sequence of quantifiers
Большой Русско-Английский словарь
СЖАТИЕ — n. pressure, compression, pressing, contraction, compressibility; сжатие кванторов, contraction of quantifiers
Russian-English Dictionary of the Mathematical Sciences
НАВЕШИВАНИЕ — n. weighing, attaching (as in attaching analytic discs); навешивание кванторов, quantification
Russian-English Dictionary of the Mathematical Sciences
SEQUENCE OF QUANTIFIERS — мат. кортеж кванторов
Большой Англо-Русский словарь
REMOVAL OF QUANTIFIERS — мат. вынесение кванторов
Большой Англо-Русский словарь
RELATIVIZATION OF QUANTIFIERS — мат. релятивизация кванторов
Большой Англо-Русский словарь
ORDERLY — 1. сущ. 1) воен. дневальный, ординарец; связной An orderly came in haste to bring him news of the battle. ≈ …
Большой Англо-Русский словарь
FURL — свертывание что-л свернутое, сверток, свиток завертывать, свертывать - to * a flag сворачивать флаг убирать (паруса) складывать (веер, зонт) - …
Большой Англо-Русский словарь
FIBRILLATION — сущ. 1) хим. образование волокон, выпадение в виде клубка нитей 2) мед. а) мерцание, трепетание (асинхронное сокращение мышечных или нервных …
Большой Англо-Русский словарь
DEGREE OF CUT — лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)
Большой Англо-Русский словарь
DE-ESCALATION — сущ. деэскалация, свертывание, сжатие, уменьшение Syn : diminution, decrease деэскалация (войны и т. п.); свертывание, уменьшение; сокращение размаха и т. …
Большой Англо-Русский словарь
CONVOLUTION — сущ. 1) искривление, скручивание, свертывание; тж. свернутость, скрученность; изогнутость, извилистость 2) извилина, изгиб; виток, оборот; извив It was full of …
Большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Большой Англо-Русский словарь
COLLAPSING — свертывание; сокращение fault collapsing Свертывание
Большой Англо-Русский словарь
COAGULATION — сущ. коагуляция, свертывание blood coagulation ≈ свертывание крови коагуляция, свертывание coagulation коагуляция, свертывание
Большой Англо-Русский словарь
CLOTTING — сущ. сгущение, свертывание blood clotting ≈ свертывание крови Syn : concentration, concretion, fixation, thickening (специальное) свертывание, сгущение - blood * …
Большой Англо-Русский словарь
ANTICOAGULANT — сущ. антикоагулянт; вещество, задерживающее свертывание крови антикоагулянт, вещество, задерживающее свертывание крови
Большой Англо-Русский словарь
CLOTTING — n спец. свёртывание, сгущение blood clotting - свёртывание крови
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFICATION — квантификация, навешивание кванторов
Большой Англо-Русский политехнический словарь
QUANTIFICATION — квантификация, навешивание кванторов
Большой Англо-Русский политехнический словарь - РУССО
TRANSFER — 1) анодно-сеточный 2) перебрасывание 3) переброска 4) перевалка 5) перевалочный 6) перевод 7) передавать 8) передаточный 9) передача управления 10) перекачивающий 11) переключение 12) переливание 13) переливать 14) перемещать 15) перемещение 16) перенос 17) переносить 18) переносный 19) …
Англо-Русский научно-технический словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
SEQUENCE OF QUANTIFIERS — матем. кортеж кванторов
Англо-Русский научно-технический словарь
RULE
Англо-Русский научно-технический словарь
REMOVAL OF QUANTIFIERS — матем. вынесение кванторов
Англо-Русский научно-технический словарь
RELATIVIZATION OF QUANTIFIERS — матем. релятивизация кванторов
Англо-Русский научно-технический словарь
QUANTIFICATION — 1) квантификация 2) квантование 3) навешивание кванторов • - bounded quantification - existential quantification - finite quantification - generalized quantification - numerical quantification - quantification rule - theory of quantification - …
Англо-Русский научно-технический словарь
LAW
Англо-Русский научно-технический словарь
ELIMINATION OF QUANTIFIERS — матем. элиминация кванторов
Англо-Русский научно-технический словарь
DEGREE OF CUT — логика степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)
Англо-Русский научно-технический словарь
CONTRACTION OF QUANTIFIERS — матем. свертывание кванторов; сжатие [склеивание] кванторов
Англо-Русский научно-технический словарь
CLOSURE — 1) замыкание 2) закрытие; закрывание; запирание 3) преграда; ограждение 4) затвор; перегородка 5) строит. неполномерный кирпич навешивание кванторов 6) обжатие при посадке 7) метал заделка лётки 8) герметизация 9) …
Англо-Русский научно-технический словарь
COAGULATION — сущ.коагуляция, свертывание blood coagulation — свертывание крови
Англо-Русский словарь Tiger
CLOTTING — сущ.сгущение, свертывание blood clotting — свёртывание крови Syn:concentration, concretion, fixation, thickening
Англо-Русский словарь Tiger
CLOTTING — n спец. свёртывание, сгущение blood ~ - свёртывание крови
Новый большой Англо-Русский словарь - Апресян, Медникова
CLOTTING — n спец. свёртывание, сгущение blood clotting - свёртывание крови
Большой новый Англо-Русский словарь
COAGULATION — сущ. коагуляция, свертывание blood coagulation — свертывание крови
Англо-Русский словарь по общей лексике
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по вычислительной технике и программированию
QUANTIFICATION — квантификация, навешивание кванторов
Англо-Русский словарь компьютерных терминов
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Новый большой Англо-Русский словарь
COAGULATION — сущ. коагуляция, свертывание blood coagulation ≈ свертывание крови коагуляция, свертывание coagulation коагуляция, свертывание
Новый большой Англо-Русский словарь
CLOTTING — сущ. сгущение, свертывание blood clotting ≈ свертывание крови Syn : concentration, concretion, fixation, thickening (специальное) свертывание, сгущение - blood * …
Новый большой Англо-Русский словарь

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

← СВЕРТЫВАНИЕ ИЗОБРАЖЕНИЯ СВЕРТЫВАНИЕ КОДА→