ПРЕОБРАЗОВАТЕЛЬ ПРЕДИКАТОВ

Русско-английский перевод ПРЕОБРАЗОВАТЕЛЬ ПРЕДИКАТОВ

predicate transformer

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

ПРЕОБРАЗОВАТЕЛЬ — Transformer
Русско-Американский Английский словарь
ПРЕОБРАЗОВАТЕЛЬ — 1. reformer, reorganizer 2. физ. transformer, converter
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ПРЕОБРАЗОВАТЕЛЬ — The transducer
Russian Learner's Dictionary
ПРЕОБРАЗОВАТЕЛЬ — transducer
Russian Learner's Dictionary
ПРЕОБРАЗОВАТЕЛЬ — м. 1. reformer, reorganizer 2. физ. transformer, converter
Русско-Английский словарь
ПРЕОБРАЗОВАТЕЛЬ — м. 1. reformer, reorganizer 2. физ. transformer, converter
Russian-English Smirnitsky abbreviations dictionary
ПРЕОБРАЗОВАТЕЛЬ — converter, conversion element, (данных) interpreter, transformer, translator, transmitter
Русско-Английский словарь по машиностроению и автоматизации производства
ПРЕОБРАЗОВАТЕЛЬ — муж. 1) reformer, reorganizer 2) электр. transformer, converter - преобразователь тока
Русско-Английский краткий словарь по общей лексике
ПРЕОБРАЗОВАТЕЛЬ — changer, converter
Русско-Английский словарь по строительству и новым строительным технологиям
ПРЕОБРАЗОВАТЕЛЬ — • Digital-to-analogue converter . • Heat-to-electricity converter .
Русско-Английский научно-технический словарь переводчика
ПРЕОБРАЗОВАТЕЛЬ — modifier
Современный Русско-Английский словарь по машиностроению и автоматизации производства
ПРЕОБРАЗОВАТЕЛЬ — м. transducer; converter; transformer - аналого-цифровой преобразователь - преобразователь напряжения зажигания - преобразователь ржавчины - электродинамический преобразователь - электромагнитный преобразователь
Русско-Aнглийский автомобильный словарь
ПРЕОБРАЗОВАТЕЛЬ — 1) converter 2) inverter 3) transducer
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПРЕОБРАЗОВАТЕЛЬ — см. индуктивный преобразователь ; потенциометрический преобразователь pressure transducers with either resistance or inductance converters
Русско-Английский словарь идиом по космонавтике
ПРЕОБРАЗОВАТЕЛЬ — муж. 1) reformer, reorganizer 2) электр. transformer, converter преобразователь тока reformer
Большой Русско-Английский словарь
ПРЕОБРАЗОВАТЕЛЬ — преобразователь converter
Русско-Английский словарь Сократ
ЧИП — abbrev (чистое исчисление предикатов), pure predicate calculus
Russian-English Dictionary of the Mathematical Sciences
УИП — abbrev (узкое исчисление предикатов), restricted predicate calculus
Russian-English Dictionary of the Mathematical Sciences
ПРЕДИКАТ — m. predicate; исчисление предикатов, predicate calculus
Russian-English Dictionary of the Mathematical Sciences
ПИП — abbrev (прикладное исчисление предикатов), applied predicate calculus
Russian-English Dictionary of the Mathematical Sciences
VOLTS-TO-DIGIT CONVERTER — преобразователь напряжения в код, преобразователь напряжение - код, аналого-цифровой преобразователь напряжения, цифратор напряжения
Большой Англо-Русский словарь
VOLTAGE-TO-NUMBER CONVERTER — преобразователь напряжения в код, преобразователь напряжение - код, аналого-цифровой преобразователь напряжения, цифратор напряжения
Большой Англо-Русский словарь
VOLTAGE-TO-DIGITAL CONVERTER — преобразователь напряжения в код, преобразователь напряжение - код, аналого-цифровой преобразователь напряжения, цифратор напряжения
Большой Англо-Русский словарь
TWO-VALUED — двузначный property of being two-valued ≈ матем. двузначность two-valued predicate calculus ≈ двузначное [классическое] исчисление предикатов two-valued propositional calculus ≈ …
Большой Англо-Русский словарь
TRANSLATOR — сущ. переводчик Syn : interpreter переводчик гравировщик (картин и т. п.) (разговорное) сапожник, латающий старые ботинки (радиотехника) транслятор (компьютерное) транслирующая …
Большой Англо-Русский словарь
TRANSFORMER — сущ. 1) преобразователь 2) электр. трансформатор step-down transformer step-up transformer преобразователь (электротехника) трансформатор - step-down * понижающий трансформатор step-down ~ …
Большой Англо-Русский словарь
TRANSDUCER — сущ.; электр. преобразователь; датчик; приемник Syn : sensor, receiver (специальное) преобразователь; датчик - acceleration * датчик ускорения transducer эл. преобразователь; …
Большой Англо-Русский словарь
TIME-TO-NUMBER CONVERTER — преобразователь интервалов времени в код, преобразователь время - код, аналого-цифровой преобразователь времени, цифратор времени
Большой Англо-Русский словарь
SHAFT POSITION-TO-DIGITAL CONVERTER — преобразователь углового положения (вала) в код, преобразователь вал - код, аналого-цифровой преобразователь углового положения (вала), цифратор углового положения (вала)
Большой Англо-Русский словарь
SET-THEORETIC — теоретико-множественный set-theoretic predicate logic ≈ теоретико-множественная логика предикатов - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog …
Большой Англо-Русский словарь
RESTRICTED PREDICATE CALCULUS — лог. узкое исчисление предикатов
Большой Англо-Русский словарь
REFORMER — сущ. 1) преобразователь, реформатор economic reformer ≈ реформатор в сфере экономики social reformer ≈ социальный реформатор the great reformer of …
Большой Англо-Русский словарь
QUANTIFICATIONAL LOGIC — мат. логика предикатов
Большой Англо-Русский словарь
PREDICATIVE CALCULUS — лог. исчисление предикатов
Большой Англо-Русский словарь
PREDICATIVE ARITHMETIC — арифметика предикатов
Большой Англо-Русский словарь
PREDICATE TRANSFORMER — преобразователь предикатов (функция, отображающая предикаты в предикаты)
Большой Англо-Русский словарь
PREDICATE OF PREDICATES — мат. предикат предикатов
Большой Англо-Русский словарь
PREDICATE LOGIC LANGUAGE — язык (программирования), основанный на логике предикатов
Большой Англо-Русский словарь
PREDICATE LOGIC-BASED LANGUAGE — язык (программирования), основанный на логике предикатов
Большой Англо-Русский словарь
PREDICATE LANGUAGE — язык предикатов
Большой Англо-Русский словарь
PREDICATE HIERARCHY — мат. иерархия предикатов
Большой Англо-Русский словарь
PREDICATE DOMAIN — мат. область предикатов
Большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Большой Англо-Русский словарь
MONADIC — компьют. одноместный monadic [monic] homomorphism ≈ инъективный гомоморфизм, мономорфизм monadic predicate calculus ≈ исчисление одноместных предикатов - monadic algebra - …
Большой Англо-Русский словарь
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
HIGHER PREDICATE CALCULUS — исчисление предикатов высших порядкоы
Большой Англо-Русский словарь
FUNCTIONAL — (математика) функционал функциональный - * architecture функционально-направленная архитектура - * style (архитектура) функциональный стиль - * modern furniture функциональная современная …
Большой Англо-Русский словарь
DIGITIZER — 1) цифровой преобразователь; цифровой датчик; цифратор 2) кодирующий преобразователь (в кодирующем планшете) ∙ graphic digitizer picture digitizer scanning digitizer touch-sensitive …
Большой Англо-Русский словарь
DERIVATION — сущ. 1) происхождение, источник, начало Why hast thou asked my derivation? ≈ Почему ты спросил меня о моем происхождении? Syn …
Большой Англо-Русский словарь
CONVERTER — сущ. 1) конвертер, преобразователь (прибор) а) электр. конвертер, преобразователь тока б) тех. конвертер, реторта в) амер. шифровальный прибор 2) духовный …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
FUNCTIONAL — functional.ogg 1. ʹfʌŋkʃ(ə)nəl n мат. функционал 2. ʹfʌŋkʃ(ə)nəl a 1. функциональный functional architecture - функционально-направленная архитектура functional stile - архит. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TRANSDUCER — 1) датчик 2) измерительный преобразователь 3) переприемник 4) преобразователь 5) трансдуктор 6) трансдюсер • filled-system vacuum transducer — вакуумный манометрический датчик heterodyne conversion transducer — тех. преобразователь гетеродинный piesoelectric …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
IDENTITY — 1) всегда-истинность 2) всегда-истинный 3) единица 4) единичный 5) идентичность 6) индивидуальность 7) конгруэнтность 8) одинаковость 9) опознание 10) отождествление 11) природа 12) тождественность 13) тождество • adjunction of an identity element — присоединение …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
PROLOG — (programming in logic) Пролог. Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. Программа на Прологе предствляет …
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
ГИДРОЛОКАТОР — (сонар), аппаратурный комплекс для определения с помощью акустических сигналов положения подводных и плавучих объектов (первоначально этот термин использовался применительно к …
Русский словарь Colier
REFORMER — сущ. 1) преобразователь, реформатор economic reformer ≈ реформатор в сфере экономики social reformer ≈ социальный реформатор the great reformer of …
Новый большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Новый большой Англо-Русский словарь
DIGITIZER — 1) цифровой преобразователь; цифровой датчик; цифратор 2) кодирующий преобразователь (в кодирующем планшете) ∙ graphic digitizer picture digitizer scanning digitizer touch-sensitive …
Новый большой Англо-Русский словарь
CONVERTER — сущ. 1) конвертер, преобразователь (прибор) а) электр. конвертер, преобразователь тока б) тех. конвертер, реторта в) амер. шифровальный прибор 2) духовный …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь

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

← ПРЕОБРАЗОВАТЕЛЬ ПОСТОЯННОГО ТОКА

ПРЕОБРАЗОВАТЕЛЬ ПРИРАЩЕНИЙ→