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

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

мат. contraction of quantifiers

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

СЖАТИЕ — n. pressure, compression, pressing, contraction, compressibility; сжатие кванторов, contraction of quantifiers
Russian-English Dictionary of the Mathematical Sciences
СЖАТИЕ — Gas compressor
Русско-Американский Английский словарь
СЖАТИЕ — 1. pressing, pressure; ( рукой ) grasp, grip 2. ( жидкости, газа ) compression
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
СЖАТИЕ — с. compression; физ. squeeze, shrinking; ~ времени time condensation
Русско-Английский словарь общей тематики
СЖАТИЕ — 1) compression 2) contraction 3) shrinkage 4) squeeze
Новый Русско-Английский биологический словарь
СЖАТИЕ — Compression
Russian Learner's Dictionary
СЖАТИЕ — compression
Russian Learner's Dictionary
СЖАТИЕ — с. 1. pressing, pressure; ( рукой ) grasp, grip 2. ( жидкости, газа ) compression
Русско-Английский словарь
СЖАТИЕ — с. 1. pressing, pressure; ( рукой ) grasp, grip 2. ( жидкости, газа ) compression
Russian-English Smirnitsky abbreviations dictionary
СЖАТИЕ — shrinkage, compression, constriction, contraction, nip, pinch, pressing, pressure, reduction, restraint, squeezing
Русско-Английский словарь по машиностроению и автоматизации производства
СЖАТИЕ — ср. pressure, pressing, grip, grasp; compression (жидкости, газа) - камера сжатия
Русско-Английский краткий словарь по общей лексике
СЖАТИЕ — constriction, nip, squeeze, compression, contraction, extrusion, grasp, restraint, shrinking, pressure
Русско-Английский словарь по строительству и новым строительным технологиям
СЖАТИЕ — Compressor
Британский Русско-Английский словарь
СЖАТИЕ — Compression
Британский Русско-Английский словарь
СЖАТИЕ — contraction, grip
Русско-Английский экономический словарь
СЖАТИЕ — с. compression; физ. squeeze, shrinking; ~ времени time condensation
Русско-Английский словарь - QD
СЖАТИЕ — см. тж. подвергаться натяжению или сжатию • The contraction of specimens when the vacancies are annealed ...
Русско-Английский научно-технический словарь переводчика
СЖАТИЕ — squeeze
Современный Русско-Английский словарь по машиностроению и автоматизации производства
СЖАТИЕ — с. compression сжатие рабочей смеси в картере двухтактного двигателя — crankcase compression
Русско-Aнглийский автомобильный словарь
СЖАТИЕ — 1) compaction 2) compression
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
СЖАТИЕ — n compression
Russian-English WinCept Glass dictionary
СЖАТИЕ — ср. pressure, pressing, grip, grasp compression (жидкости, газа) камера сжатия с. compression физ. squeeze, shrinking ~ времени time condensation
Большой Русско-Английский словарь
СЖАТИЕ — сжатие compression
Русско-Английский словарь Сократ
ЭЛИМИНАЦИЯ КВАНТОРОВ — мат. elimination of quantifiers
Большой Русско-Английский словарь
СВЕРТЫВАНИЕ КВАНТОРОВ — мат. contraction of quantifiers
Большой Русско-Английский словарь
РЕЛЯТИВИЗАЦИЯ КВАНТОРОВ — мат. relativization of quantifiers
Большой Русско-Английский словарь
НАВЕШИВАНИЕ КВАНТОРОВ — closure, quantification
Большой Русско-Английский словарь
КОРТЕЖ КВАНТОРОВ — мат. sequence of quantifiers
Большой Русско-Английский словарь
НАВЕШИВАНИЕ — n. weighing, attaching (as in attaching analytic discs); навешивание кванторов, quantification
Russian-English Dictionary of the Mathematical Sciences
SQUEEZE — 1. сущ. 1) а) сжатие, пожатие; прессование, сдавливание Syn : compression б) рукопожатие, объятие Syn : handclasp; handshake, embrace 1. …
Большой Англо-Русский словарь
SEQUENCE OF QUANTIFIERS — мат. кортеж кванторов
Большой Англо-Русский словарь
REMOVAL OF QUANTIFIERS — мат. вынесение кванторов
Большой Англо-Русский словарь
RELATIVIZATION OF QUANTIFIERS — мат. релятивизация кванторов
Большой Англо-Русский словарь
PRESSURE — сущ. 1) давление, сжатие, стискивание She kicked at the door with her foot, and the pressure was enough to open …
Большой Англо-Русский словарь
PINCH — 1. сущ. 1) а) щипок б) щепотка (чего-л. сыпучего) в) перен. сл. легкое для осуществления предприятие, верняк ∙ Syn : …
Большой Англо-Русский словарь
DEGREE OF CUT — лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)
Большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Большой Англо-Русский словарь
COMPRESSION — сущ. 1) а) сжатие; сокращение Syn : pressure, pressing б) сдавленность 2) тех. компрессия compression member compression chamber 3) тех. …
Большой Англо-Русский словарь
QUANTIFICATION — квантификация, навешивание кванторов
Большой Англо-Русский политехнический словарь
COMPRESSION — 1) сжатие; компрессия 2) степень сжатия 3) напряжение сжатия 4) уплотнение 5) прессование 6) компрессия; автоматическое сжатие динамического диапазона 7) …
Большой Англо-Русский политехнический словарь
QUANTIFICATION — квантификация, навешивание кванторов
Большой Англо-Русский политехнический словарь - РУССО
COMPRESSION — 1) сжатие; компрессия 2) степень сжатия 3) напряжение сжатия 4) уплотнение 5) прессование 6) компрессия; автоматическое сжатие динамического диапазона 7) радио сокращение избыточности 8) нелинейные искажения (из-за …
Большой Англо-Русский политехнический словарь - РУССО
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) …
Англо-Русский научно-технический словарь
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по вычислительной технике и программированию
QUANTIFICATION — квантификация, навешивание кванторов
Англо-Русский словарь компьютерных терминов
ГРАВИТАЦИОННЫЙ — быстрое сжатие и распад межзвездного облака или звезды под действием собственной силы тяготения. Гравитационный коллапс - очень важное астрофизическое явление; …
Русский словарь Colier
PRESSURE — сущ. 1) давление, сжатие, стискивание She kicked at the door with her foot, and the pressure was enough to open …
Новый большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Новый большой Англо-Русский словарь
COMPRESSION — сущ. 1) а) сжатие; сокращение Syn : pressure, pressing б) сдавленность 2) тех. компрессия compression member compression chamber 3) тех. …
Новый большой Англо-Русский словарь

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

← СЖАТИЕ КВАЗИГРУППЫ СЖАТИЕ КЛАССА→