LOGIC OF VERIFICATION

Англо-русский перевод LOGIC OF VERIFICATION

матем. логика верификации

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

LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Новый большой Англо-Русский словарь
VERIFICATION — n verification
Interlingua English vocab
VERIFICATION — noun Date: 1523 the act or process of verifying ; the state of being verified
Толковый словарь английского языка - Merriam Webster
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
LOGIC — I. ˈläjik, -jēk noun ( -s ) Etymology: Middle English logik, from Middle French logique, from Latin logica, from Greek …
Webster's New International English Dictionary
VERIFICATION — ˌverəfə̇ˈkāshən noun ( -s ) Etymology: Middle French, from Medieval Latin verification-, verificatio, from verificatus (past participle of verificare to …
Webster's New International English Dictionary
VERIFICATION — — verificative, verificatory , adj. /ver'euh fi kay"sheuhn/ , n. 1. the act of verifying. 2. the state of being …
Random House Webster's Unabridged English Dictionary
LOGIC — — logicless , adj. /loj"ik/ , n. 1. the science that investigates the principles governing correct or reliable inference. 2. …
Random House Webster's Unabridged English Dictionary
VERIFICATION — n. confirmation, substantiation, proof
Толковый словарь английского языка - Редакция bed
VERIFICATION — noun Date: 1523 : the act or process of verifying : the state of being verified
Merriam-Webster's Collegiate English vocabulary
LOGIC — noun Etymology: Middle English logik, from Anglo-French, from Latin logica, from Greek logikē, from feminine of logikos of reason, from …
Merriam-Webster's Collegiate English vocabulary
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
VERIFICATION — verification BrE AmE ˌver ɪf ɪ ˈkeɪʃ ə n ˌ•əf-, § \ -əˈ•- ▷ verification|s z
Longman Pronunciation English Dictionary
LOGIC — / ˈlɒdʒɪk; NAmE ˈlɑːdʒɪk/ noun 1. [ U ] a way of thinking or explaining sth : I fail to …
Oxford Advanced Learner's English Dictionary
LOGIC — lo ‧ gic /ˈlɒdʒɪk $ ˈlɑː-/ BrE AmE noun [ Word Family: noun : ↑ logic ; adverb : ↑ …
Longman Dictionary of Contemporary English
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Английский основной разговорный словарь
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Concise Oxford English Dictionary
LOGIC — n.1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. 2 …
Oxford English vocab
LOGIC — 1. Logic is a method of reasoning that involves a series of statements, each of which must be true if …
Collins COBUILD Advanced Learner's English Dictionary
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
Longman DOCE5 Extras English vocabulary
VERIFICATION — [noun] [U]The report was forwarded to a committee for independent verification.After following various verification procedures, he declared the manuscript to …
Cambridge English vocab
LOGIC — n. deontic logic fuzzy logic logic design logic many valued logic philosophy of modal logic
Britannica Concise Encyclopedia
LOGIC — n. Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Britannica Concise Encyclopedia
LOGIC — Synonyms and related words : Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, …
Moby Thesaurus English vocabulary
VERIFICATION — noun ADJECTIVE ▪ empirical , experimental , scientific ▪ independent ▪ additional , further ▪ credit-card , ID , identity …
Oxford Collocations English Dictionary
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
VERIFICATION — verification.ogg ͵verıfıʹkeıʃ(ə)n n 1. 1> контроль, осуществление контроля; проверка subject to verification - подлежащий контролю national technical means of verification …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VERIFICATION — 1) верификация; контроль; проверка 2) поверка • - busy verification - compatibility verification - compulsory verification - data verification - …
Большой Англо-Русский политехнический словарь
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air …
Большой Англо-Русский политехнический словарь
VERIFICATION — 1) верификация; контроль; проверка 2) поверка • - busy verification - compatibility verification - compulsory verification - data verification - design verification - exceptional verification - forecast verification - internal …
Большой Англо-Русский политехнический словарь - РУССО
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air logic - arbitration logic - array logic - …
Большой Англо-Русский политехнический словарь - РУССО
VERIFICATION — 1) верификационный 2) верификация 3) поверка 4) проверка 5) проверок • - direct verification - empirical verification - experimental verification - indirect verification - inverse verification - logic of verification - method …
Англо-Русский научно-технический словарь
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
VERIFICATION — n 1. 1> контроль, осуществление контроля; проверка subject to verification - подлежащий контролю national technical means of verification - национальные …
Большой новый Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка verification of powers — проверка полномочий Syn: check , examination 2) а) удостоверение, подтверждение ( …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
VERIFICATION — сущ. 1) контроль, проверка; сверка verification of powers — проверка полномочий Syn: check, examination 2) а) удостоверение, подтверждение (предсказания, сомнения) б) юр. подтверждение под присягой 3) юр. засвидетельствование 4) …
Англо-Русский словарь общей лексики
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
VERIFICATION — 1) проверка; поверка; контроль 2) верификация, подтверждение корректности ( программы ) • verification by sampling — выборочная поверка, выборочная проверка …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел ( ЭВМ ) , логическая часть • - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFICATION — 1) проверка; поверка; контроль 2) верификация, подтверждение корректности (программы) • verification by sampling — выборочная поверка, выборочная проверка verification in-process — контроль в процессе …
Англо-Русский словарь по машиностроению и автоматизации производства
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел (ЭВМ), логическая часть • - check surface logic - diode logic - direction logic - …
Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — контроль; проверка; верификация; проверка полномочий (напр., доступа к данным ) - data verification - design verification - diagnostic verification - …
Англо-Русский словарь по компьютерам
VERIFICATION — 1) проверка, контроль, исследование 2) поверка (измерительного инструмента) 3) калибровка, градуировка, тарирование, эталонирование • - design verification - visual verification
Англо-Русский словарь по строительству и новым строительным технологиям
VERIFICATION — контроль; проверка; поверка; верификация verification after repair — проверка, проводимая после ремонта - failure verification - fault verification - maintainability verification - malfunction verification - performance …
Большой Англо-Русский словарь по нефти и газу
VERIFICATION — сущ. 1) проверка, контроль 2) исследование 3) подтверждение, установление подлинности 4) засвидетельствование 5) проверка правильности регистрации (при переписи) - physical verification - verification algorithm - verification of employment - …
Англо-Русский словарь по экономике
VERIFICATION — контроль; проверка; верификация; проверка полномочий (напр., доступа к данным) - bit-level verification - data verification - data-path verification - design verification - diagnostic verification - fault …
Англо-Русский словарь по вычислительной технике и программированию
LOGIC — 1) логика 2) логическая часть, логический узел (ЭВМ) 3) логическая схема; логические схемы, логика • - action logic - adaptive logic - address-comparison logic - address-recognition logic - …
Англо-Русский словарь по вычислительной технике и программированию
VERIFICATION — контроль; проверка; верификация; проверка полномочий ( напр., доступа к данным ) - data verification - design verification - diagnostic verification …
Англо-Русский словарь компьютерных терминов
VERIFICATION — 1) контроль; проверка; установление подлинности; удостоверение, подтверждение 2) проверка правильности регистрации (при переписи) - verification of forecast - verification of …
Англо-Русский словарь по экономике и финансам
VERIFICATION — контроль; проверка - busy verification - mandatory verification - speaker verification
Англо-Русский словарь по телекоммуникациям
LOGIC — логика; логическая схема - diode logic - diode-capacitor-transistor logic - diode-transistor logic - emitter-coupled logic - RCT logic - Schottky transistor-transistor logic - Schottky-diode FET logic - transistor-transistor …
Англо-Русский словарь по телекоммуникациям
VERIFICATION — 1) проверка; сверка 2) удостоверение; подтверждение; подтверждение под присягой 3) заверка; засвидетельствование • - verification of powers
Англо-Русский юридический словарь
VERIFICATION — выверка, проверка - verification and validation - experimental verification
Англо-Русский словарь по полиграфии и издательскому делу
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
VERIFICATION — проверка правильности, верификация; установление подлинности см. access verification см. cryptographic verification см. dynamic signature verification см. fingerprint verification см. formal …
Англо-Русский словарь компьютерной безопасности
LOGIC — логика логические схемы (устройства) см. algorithm logic см. encryption logic см. fuzzy logic см. malicious logic см. non-linear logic см. …
Англо-Русский словарь компьютерной безопасности
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь

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

← LOGIC OF TRUTH LOGIC OF WHOLE→