PRENEX OPERATION

Англо-русский перевод PRENEX OPERATION

матем. пренексная операция

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

PRENEX OPERATION — мат. пренексная операция
Большой Англо-Русский словарь
PRENEX OPERATION — мат. пренексная операция
Новый большой Англо-Русский словарь
OPERATION — 1) действие 2) операция 3) оперирование 4) процесс 5) работа 6) рабочий 7) разработка 8) срабатывание 9) управление 10) функционирование 11) ход 12) эксплуатация • "jump if not" operation — операция условного перехода base …
Англо-Русский научно-технический словарь
OPERATION — I. ˌäpəˈrāshən noun ( -s ) Etymology: Middle English operacioun, from Middle French operation, from Latin operation-, operatio, from operatus …
Webster's New International English Dictionary
OPERATION — / ˌɒpəˈreɪʃn; NAmE ˌɑːp-/ noun MEDICAL 1. (also BrE informal op ) [ C ] operation (on sb) (for sth) …
Oxford Advanced Learner's English Dictionary
OPERATION — op ‧ e ‧ ra ‧ tion S1 W1 /ˌɒpəˈreɪʃ ə n $ ˌɑːp-/ BrE AmE noun [ Word Family: …
Longman Dictionary of Contemporary English
OPERATION — ( operations) Frequency: The word is one of the 700 most common words in English. 1. An operation is a …
Collins COBUILD Advanced Learner's English Dictionary
OPERATION — noun COLLOCATIONS FROM OTHER ENTRIES a combat mission/operation ▪ He flew 280 combat missions in two wars. a relief operation …
Longman DOCE5 Extras English vocabulary
OPERATION — Synonyms and related words : accomplished fact, accomplishment, achievement, act, acta, acting, action, activism, activity, adventure, affair, amphibious operations, amputation, …
Moby Thesaurus English vocabulary
PRENEX — матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - …
Большой Англо-Русский словарь
OPERATION — сущ. 1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation ≈ вести какую-л. работу to …
Большой Англо-Русский словарь
OPERATION — operation.ogg ͵ɒpəʹreıʃ(ə)n n 1. 1> действие, работа; функционирование the operation of binding a book - переплётные работы to begin operations …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
OPERATION — 1) работа; функционирование 2) матем. действие 3) эксплуатация 4) (технологическая) операция; процесс; цикл ( обработки ) 5) режим (работы) 6) …
Большой Англо-Русский политехнический словарь
OPERATION — 1) работа; функционирование 2) матем. действие 3) эксплуатация 4) (технологическая) операция; процесс; цикл (обработки) 5) режим (работы) 6) управление 7) вчт. операция; команда 8) предприятие • - abnormal operation - …
Большой Англо-Русский политехнический словарь - РУССО
PRENEX — матем. предваренный prenex normal norm — логика предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent
Англо-Русский научно-технический словарь
OPERATION — operation сущ.1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation — вести какую-л. работу to …
Англо-Русский словарь Tiger
OPERATION — n 1. 1> действие, работа; функционирование the operation of binding a book - переплётные работы to begin operations - начать …
Большой новый Англо-Русский словарь
OPERATION — сущ. 1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation — вести какую-л. работу to …
Англо-Русский словарь по общей лексике
OPERATION — сущ. 1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation — вести какую-л. работу to launch an operation — запускать …
Англо-Русский словарь общей лексики
OPERATION — 1) операция, технологическая операция; переход, технологический переход 2) работа; действие 3) эксплуатация 4) режим ( работы ) 5) цикл ( …
Англо-Русский словарь по машиностроению и автоматизации производства 2
OPERATION — 1) операция, технологическая операция; переход, технологический переход 2) работа; действие 3) эксплуатация 4) режим (работы) 5) цикл (обработки) 6) управление (оборудованием) • in operation — в работе; …
Англо-Русский словарь по машиностроению и автоматизации производства
OPERATION — 1) работа; рабочий процесс; операция; эксплуатация 2) ход 3) юр. юридическая сила; юридическое действие; юридические последствия • operation in confined areas — работа на …
Англо-Русский словарь по строительству и новым строительным технологиям
OPERATION — 1. операция; действие; работа; эксплуатация (машины, сооружения) 2. срабатывание (устройства) 3. режим (работы) 3. обслуживание in operation — в процессе работы; …
Большой Англо-Русский словарь по нефти и газу
OPERATION — сущ. 1) действие, операция 2) работа 3) эксплуатация 4) функционирование 5) амер. управление (предприятием) 6) торговая или финансовая сделка (операция) 7) цех 8) акция (в системе Перт) • - bank …
Англо-Русский словарь по экономике
OPERATION — 1) операция; действие 2) работа; функционирование 3) режим (работы) 4) срабатывание (прибора) 5) редк. управление • - AND operation - arithmetic operation - array operation - asynchronous operation - atomic …
Англо-Русский словарь по вычислительной технике и программированию
OPERATION — 1) действие; работа; эксплуатация; функционирование 2) торговля; финансовая операция; сделка 3) учётно-счётная операция 4) (технологическая) операция, цикл обработки 5) ведение …
Англо-Русский словарь по экономике и финансам
OPERATION — 1) работа, функционирование, управление; эксплуатация 2) операция - in operation - automatic operation - building operation - calculation operation - …
Англо-Русский строительный словарь
OPERATION — 1) работа; функционирование 2) режим • - arbitrage operation - asynchronous operation - attended operation - attenuation-limited operation - axial-mode operation - back-to-back operation - bidirectional operation - bistable operation - …
Англо-Русский словарь по телекоммуникациям
OPERATION — 1) юридическая сила; юридическое действие; юридические последствия 2) операция • by operation of law — в силу закона - covert operation - enforcement operation - extraterritorial …
Англо-Русский юридический словарь
OPERATION — 1) работа; операция; процесс 2) действие; функционирование; режим работы - backgage operation - batch operation - collating operation - copying …
Англо-Русский словарь по полиграфии и издательскому делу
OPERATION — 1) работа; эксплуатация 2) управление • - air door operation - car operation - cold operation - emergency operation - erratic operation - field operation - full-load operation - high-speed …
Англо-Русский автомобильный словарь - Руссо
OPERATION — 1) действие; работа; операция (тж. коммерческая) 2) разработка 3) процесс 4) управление (предприятием) 5) юридическая сила • - chemical examining operation - commercial operation - defending commercial operations - …
Англо-Русский словарь по патентам и товарным знакам
OPERATION
Новый англо-русский толковый словарь по менеджменту и экономике труда
OPERATION — операция работа см. abstract operation см. additive operation см. arithmetic operation см. authorized operation см. back to back operation см. …
Англо-Русский словарь компьютерной безопасности
PRENEX — матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - …
Новый большой Англо-Русский словарь
OPERATION — сущ. 1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation ≈ вести какую-л. работу to …
Новый большой Англо-Русский словарь
PRENEX NORMAL FORM — ˈprēˌneks- noun Etymology: Late Latin praenexus tied up or bound in front, from Latin prae- pre- + nexus, past participle …
Webster's New International English Dictionary
PRENEX SEQUENT — мат. предваренная секвенция
Большой Англо-Русский словарь
PRENEX FORMULA — предваренная формула
Большой Англо-Русский словарь
PRENEX FORM — лог. предваренная форма
Большой Англо-Русский словарь
PRENEX SEQUENT — матем. предваренная секвенция
Англо-Русский научно-технический словарь
PRENEX FORMULA — предваренная формула
Англо-Русский научно-технический словарь
PRENEX FORM — логика предварённая форма
Англо-Русский словарь по компьютерам
PRENEX FORM — логика предварённая форма
Англо-Русский словарь по вычислительной технике и программированию
PRENEX FORM — предваренная форма
Англо-Русский словарь компьютерных терминов
PRENEX SEQUENT — мат. предваренная секвенция
Новый большой Англо-Русский словарь
PRENEX FORMULA — предваренная формула
Новый большой Англо-Русский словарь
PRENEX FORM — лог. предваренная форма
Новый большой Англо-Русский словарь
PREFIX
Webster's New International English Dictionary
ПРЕДВАРЁННЫЙ — adj. preliminary, preceding; предварённая форма (формула), prenex form (formula) (logic)
Russian-English Dictionary of the Mathematical Sciences
UNIVERSALLY VALID FORMULA — универсально общезначимая формула verifiable formula untestable formula unsatisfiable formula unreliazable formula unprovable formula universal formula underivable formula undecidable formula unary formula two-level formula truncated formula true formula translation formula transfinite formula topological formula testing formula terminal formula tabulated …
Англо-Русский научно-технический словарь
SEQUENT — 1) вытекающий 2) последующий 3) секвенция 4) следующий • completely regular sequent — вполне регулярная секвенция weakly regular sequent — слабо регулярная секвенция - derivable sequent - end …
Англо-Русский научно-технический словарь
NORMAL — 1) нормализованный 2) нормальный 3) обыкновенный 4) перпендикуляр 5) стандартен 6) стандартный • absolutely normal number — абсолютно нормальное число absolutely normal variety — абсолютно нормальное многообразие almost normal …
Англо-Русский научно-технический словарь
NORM — 1) норма 2) норма вектора 3) норменный 4) нормировать 5) стандарт • minimum norm property — свойство минимальной нормы (в теории сплайнов) norm compact set — компактное …
Англо-Русский научно-технический словарь
FORM — 1) форма || формировать, образовывать 2) (экранный) бланк, формуляр 3) представление (информации в памяти машины) 4) матем. выражение • - form the instruction - accounting form - …
Англо-Русский словарь по вычислительной технике и программированию
ПРЕНЕКСНАЯ ОПЕРАЦИЯ — мат. prenex operation
Большой Русско-Английский словарь
ПРЕДВАРЕННЫЙ — матем. prenex
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ ФОРМУЛА — prenex formula
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ ФОРМА — лог. prenex form
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ СЕКВЕНЦИЯ — мат. prenex sequent
Большой Русско-Английский словарь

Англо-Русский научно-технический словарь

← PRENEX FORMULA PRENEX SEQUENT→