НАВЕШИВАНИЕ КВАНТОРОВ

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

closure, quantification

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

НАВЕШИВАНИЕ — n. weighing, attaching (as in attaching analytic discs); навешивание кванторов, quantification
Russian-English Dictionary of the Mathematical Sciences
НАВЕШИВАНИЕ — weighing
Большой Русско-Английский словарь
QUANTIFICATION — квантификация, навешивание кванторов
Большой Англо-Русский политехнический словарь
QUANTIFICATION — квантификация, навешивание кванторов
Большой Англо-Русский политехнический словарь - РУССО
QUANTIFICATION — 1) квантификация 2) квантование 3) навешивание кванторов • - bounded quantification - existential quantification - finite quantification - generalized quantification - numerical quantification - quantification rule - theory of quantification - …
Англо-Русский научно-технический словарь
CLOSURE — 1) замыкание 2) закрытие; закрывание; запирание 3) преграда; ограждение 4) затвор; перегородка 5) строит. неполномерный кирпич навешивание кванторов 6) обжатие при посадке 7) метал заделка лётки 8) герметизация 9) …
Англо-Русский научно-технический словарь
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по компьютерам
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по вычислительной технике и программированию
НАВЕШИВАНИЕ ДВЕРЕЙ — door hanging
Русско-Английский словарь по строительству и новым строительным технологиям
QUANTIFICATION — квантификация, навешивание кванторов
Англо-Русский словарь компьютерных терминов
ЭЛИМИНАЦИЯ КВАНТОРОВ — мат. elimination of quantifiers
Большой Русско-Английский словарь
СЖАТИЕ КВАНТОРОВ — мат. contraction of quantifiers
Большой Русско-Английский словарь
СВЕРТЫВАНИЕ КВАНТОРОВ — мат. contraction of quantifiers
Большой Русско-Английский словарь
РЕЛЯТИВИЗАЦИЯ КВАНТОРОВ — мат. relativization of quantifiers
Большой Русско-Английский словарь
НАВЕШИВАНИЕ КВАНТОРА СУЩЕСТВОВАНИЯ — мат. existential quantification
Большой Русско-Английский словарь
НАВЕШИВАНИЕ КВАНТОРА ОБЩНОСТИ — мат. universal quantification
Большой Русско-Английский словарь
КОРТЕЖ КВАНТОРОВ — мат. sequence of quantifiers
Большой Русско-Английский словарь
СЖАТИЕ — n. pressure, compression, pressing, contraction, compressibility; сжатие кванторов, contraction of quantifiers
Russian-English Dictionary of the Mathematical Sciences
UNIVERSAL QUANTIFICATION — мат. навешивание квантора общности
Большой Англо-Русский словарь
TAGGING — тегирование (сопровождение данных тегами) маркировка tagging навешивание бирки ~ наклеивание этикетки ~ наклеивание ярлыка ~ вчт. тегирование
Большой Англо-Русский словарь
SEQUENCE OF QUANTIFIERS — мат. кортеж кванторов
Большой Англо-Русский словарь
REMOVAL OF QUANTIFIERS — мат. вынесение кванторов
Большой Англо-Русский словарь
RELATIVIZATION OF QUANTIFIERS — мат. релятивизация кванторов
Большой Англо-Русский словарь
HINGING — 1. шарнирное крепление 2. навеска (навешивание) на петлях roof hinging зависеть зависящий висящий
Большой Англо-Русский словарь
HANGING — 1. сущ. 1) а) вешание; подвешивание hanging of doors ≈ навешивание дверей hanging of national flags ≈ вывешивание национальных флагов …
Большой Англо-Русский словарь
EXISTENTIAL QUANTIFICATION — мат. навешивание квантора существования
Большой Англо-Русский словарь
DEGREE OF CUT — лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)
Большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Большой Англо-Русский словарь
HINGING — 1) шарнирное крепление 2) навеска (навешивание) на петлях • - roof hinging
Большой Англо-Русский политехнический словарь
HANGING — 1) подвешивание || подвесной 2) навешивание ( напр. двери или оконного переплёта ) || висячий 3) зависание; подвисание; застревание; метал. …
Большой Англо-Русский политехнический словарь
HINGING — 1) шарнирное крепление 2) навеска (навешивание) на петлях • - roof hinging
Большой Англо-Русский политехнический словарь - РУССО
HANGING — 1) подвешивание || подвесной 2) навешивание (напр. двери или оконного переплёта) || висячий 3) зависание; подвисание; застревание; метал. подстой • - hanging of casing …
Большой Англо-Русский политехнический словарь - РУССО
WEIGHING — 1) взвешивание 2) взвешивающий 3) навешивание 4) отвешивание 5) отвешивающий 6) развес 7) развесочный • automatic weighing machine — весовой автомат computing weighing scales — весы со счетным устройством fractional …
Англо-Русский научно-технический словарь
UNIVERSAL 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 — матем. релятивизация кванторов
Англо-Русский научно-технический словарь
LAW
Англо-Русский научно-технический словарь
EXISTENTIAL QUANTIFICATION — матем. навешивание квантора существования
Англо-Русский научно-технический словарь
ELIMINATION OF QUANTIFIERS — матем. элиминация кванторов
Англо-Русский научно-технический словарь
DEGREE OF CUT — логика степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)
Англо-Русский научно-технический словарь
CONTRACTION OF QUANTIFIERS — матем. свертывание кванторов; сжатие [склеивание] кванторов
Англо-Русский научно-технический словарь
HANGING — hanging сущ.1) а) вешание; подвешивание hanging of doors — навешивание дверей hanging of national flags — вывешивание национальных флагов б) …
Англо-Русский словарь Tiger
HANGING — 1. сущ. 1) а) вешание; подвешивание hanging of doors — навешивание дверей hanging of national flags — вывешивание национальных флагов …
Англо-Русский словарь по общей лексике
HANGING — 1. сущ. 1) а) вешание; подвешивание hanging of doors — навешивание дверей hanging of national flags — вывешивание национальных флагов б) - hanging up приостановка, …
Англо-Русский словарь общей лексики
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
HINGING — 1) крепление на шарнирах 2) навешивание, навеска на петлях
Англо-Русский словарь по строительству и новым строительным технологиям
DOOR HANGING — навешивание дверей
Англо-Русский словарь по строительству и новым строительным технологиям
LABELLING
Новый Англо-Русский толковый словарь по маркетингу и торговле
UNIVERSAL QUANTIFICATION — мат. навешивание квантора общности
Новый большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Новый большой Англо-Русский словарь

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

← НАВЕШИВАНИЕ КВАНТОРА СУЩЕСТВОВАНИЯ НАВЕШИВАТЬ→