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

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

мат. sequence of quantifiers

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

КОРТЕЖ — m. finite sequence, procession, train, suite, n-tuple
Russian-English Dictionary of the Mathematical Sciences
КОРТЕЖ — Tuple
Русско-Американский Английский словарь
КОРТЕЖ — procession; cortege ( фр. ); ( автомобилей ) motor-cade
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
КОРТЕЖ — procession; (автомобилей) motorcade procession; cortege франц.; motorcade (автомобилей) автомобильный кортеж — motorcade
Русско-Английский словарь общей тематики
КОРТЕЖ — м. procession; cortege ( фр. ); ( автомобилей ) motor-cade
Русско-Английский словарь
КОРТЕЖ — м. procession; cortege ( фр. ); ( автомобилей ) motor-cade
Russian-English Smirnitsky abbreviations dictionary
КОРТЕЖ — tuple
Russian-English Edic
КОРТЕЖ — Train
Британский Русско-Английский словарь
КОРТЕЖ — Suite
Британский Русско-Английский словарь
КОРТЕЖ — procession; (автомобилей) motorcade
Русско-Английский словарь - QD
КОРТЕЖ — tuple
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
КОРТЕЖ — муж. procession cortege франц. motorcade (автомобилей) автомобильный кортеж – motorcade м. procession (автомобилей) motorcade
Большой Русско-Английский словарь
КОРТЕЖ — кортеж tuple;motorcade
Русско-Английский словарь Сократ
ЭЛИМИНАЦИЯ КВАНТОРОВ — мат. elimination of quantifiers
Большой Русско-Английский словарь
СЖАТИЕ КВАНТОРОВ — мат. contraction of quantifiers
Большой Русско-Английский словарь
СВЕРТЫВАНИЕ КВАНТОРОВ — мат. contraction of quantifiers
Большой Русско-Английский словарь
РЕЛЯТИВИЗАЦИЯ КВАНТОРОВ — мат. relativization of quantifiers
Большой Русско-Английский словарь
НАВЕШИВАНИЕ КВАНТОРОВ — closure, quantification
Большой Русско-Английский словарь
СЖАТИЕ — 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
TUPLE — матем. кортеж (компьютерное) кортеж (набор взаимосвязанных величин) tuple вчт. кортеж
Большой Англо-Русский словарь
TRAIN — I гл. 1) а) тренировать(ся), готовить, обучать б) дрессировать собаку в) объезжать лошадь г) воспитывать, учить, приучать к хорошим навыкам, …
Большой Англо-Русский словарь
SEQUENCE OF QUANTIFIERS — мат. кортеж кванторов
Большой Англо-Русский словарь
RETINUE — сущ. свита, эскорт, кортеж Syn : suite свита, эскорт; окружение кортеж retinue свита
Большой Англо-Русский словарь
REMOVAL OF QUANTIFIERS — мат. вынесение кванторов
Большой Англо-Русский словарь
RELATIVIZATION OF QUANTIFIERS — мат. релятивизация кванторов
Большой Англо-Русский словарь
PROGRESS — 1. сущ. 1) а) прогресс, развитие; движение вперед, продвижение прям. и перен. to facilitate progress ≈ способствовать развитию/движению вперед to …
Большой Англо-Русский словарь
MOTORCADE — сущ.; амер. автоколонна; кортеж автомобилей Syn : autocade автоколонна, колонна автотранспорта вереница автомобилей; кортеж автомобилей (военное) парад мотомеханизированных войск motorcade …
Большой Англо-Русский словарь
DEGREE OF CUT — лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)
Большой Англо-Русский словарь
CORTEGE — франц.; сущ. кортеж, торжественное шествие кортеж свита процессия - funeral * похоронный кортеж, похоронная процессия cortege фр. кортеж, торжественное шествие
Большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Большой Англо-Русский словарь
PROCESSION — procession.ogg 1. prəʹseʃ(ə)n n 1. 1> процессия, шествие; кортеж funeral procession - похоронная процессия /-ый кортеж/ procession of boats - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CORTEGE — cortege.ogg kɔ:ʹteıʒ n 1. кортеж ( автомобилей и т. п. ) 2. свита 3. процессия funeral cortege - похоронный кортеж, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
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) …
Англо-Русский научно-технический словарь
PROCESSION — 1. [prəʹseʃ(ə)n] n 1. 1) процессия, шествие; кортеж funeral ~ - похоронная процессия /-ый кортеж/ ~ of boats - вереница …
Новый большой Англо-Русский словарь - Апресян, Медникова
CORTEGE — n 1. кортеж ( автомобилей и т. п. ) 2. свита 3. процессия funeral ~ - похоронный кортеж, похоронная процессия
Новый большой Англо-Русский словарь - Апресян, Медникова
PROCESSION — 1. prəʹseʃ(ə)n n 1. 1> процессия, шествие; кортеж funeral procession - похоронная процессия /-ый кортеж/ procession of boats - вереница …
Большой новый Англо-Русский словарь
CORTEGE — n 1. кортеж ( автомобилей и т. п. ) 2. свита 3. процессия funeral cortege - похоронный кортеж, похоронная процессия
Большой новый Англо-Русский словарь
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
QUANTIFICATION — логика квантификация, навешивание кванторов
Англо-Русский словарь по вычислительной технике и программированию
QUANTIFICATION — квантификация, навешивание кванторов
Англо-Русский словарь компьютерных терминов
N-TUPLE — набор из n чисел, кортеж из n элементов n-кратный, n-арный кортеж из n элементов
Англо-Русский словарь компьютерной безопасности
TUPLE — матем. кортеж (компьютерное) кортеж (набор взаимосвязанных величин) tuple вчт. кортеж
Новый большой Англо-Русский словарь
TRAIN — I гл. 1) а) тренировать(ся), готовить, обучать б) дрессировать собаку в) объезжать лошадь г) воспитывать, учить, приучать к хорошим навыкам, …
Новый большой Англо-Русский словарь
RETINUE — сущ. свита, эскорт, кортеж Syn : suite свита, эскорт; окружение кортеж retinue свита
Новый большой Англо-Русский словарь
PROGRESS — 1. сущ. 1) а) прогресс, развитие; движение вперед, продвижение прям. и перен. to facilitate progress ≈ способствовать развитию/движению вперед to …
Новый большой Англо-Русский словарь
MOTORCADE — сущ.; амер. автоколонна; кортеж автомобилей Syn : autocade автоколонна, колонна автотранспорта вереница автомобилей; кортеж автомобилей (военное) парад мотомеханизированных войск motorcade …
Новый большой Англо-Русский словарь
CORTEGE — франц.; сущ. кортеж, торжественное шествие кортеж свита процессия - funeral * похоронный кортеж, похоронная процессия cortege фр. кортеж, торжественное шествие
Новый большой Англо-Русский словарь
CONTRACTION OF QUANTIFIERS — мат. свертывание кванторов; сжатие [склеивание] кванторов
Новый большой Англо-Русский словарь

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

← КОРТЕЖ КОРТЕСЫ→