AUTOMATIC PROOF

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

матем. автоматическое доказательство

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

AUTOMATIC PROOF — мат. автоматическое доказательство
Большой Англо-Русский словарь
AUTOMATIC PROOF — мат. автоматическое доказательство
Новый большой Англо-Русский словарь
PROOF — I. ˈprüf noun ( -s ) Etymology: Middle English proof, prove, alteration (influenced by proven to prove) of preef, preve, …
Webster's New International English Dictionary
AUTOMATIC — I. |ȯd.ə|mad.ik, |ȯtə-, -atik, -ēk adjective also au·to·mat·i·cal -ə̇kəl, -ēk- Etymology: Greek automatos self-acting + English -ic, -ical — more …
Webster's New International English Dictionary
PROOF — /proohf/ , n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. …
Random House Webster's Unabridged English Dictionary
AUTOMATIC
Random House Webster's Unabridged English Dictionary
AUTOMATIC — n. automatic rifle, automatic pistol, automatic gun; machine which operates automatically
Толковый словарь английского языка - Редакция bed
PROOF — I. ˈprüf noun Etymology: Middle English prof, prove, alteration of preve, from Anglo-French preove, from Late Latin proba, from Latin …
Merriam-Webster's Collegiate English vocabulary
AUTOMATIC — I. ˌȯ-tə-ˈma-tik adjective Etymology: Greek automatos self-acting, from aut- + -matos (akin to Latin ment-, mens mind) — more at …
Merriam-Webster's Collegiate English vocabulary
PROOF — noun firmness of mind; stability not to be shaken. 2. proof ·adj used in proving or testing; as, a proof …
Webster English vocab
PROOF — [proof] n [ME, alter. of preove, fr. OF preuve, fr. LL proba, fr. L probare to prove--more at prove] (13c) …
Merriam-Webster English vocab
AUTOMATIC — [au.to.mat.ic] adj [Gk automatos self-acting, fr. aut- + -matos (akin to L ment-, mens mind)--more at mind] (1748) 1 a: …
Merriam-Webster English vocab
PROOF — in liquor distilling, a measure of the absolute alcohol content of a distilled liquor, which is a mixture of alcohol …
Britannica English vocabulary
AUTOMATIC — automatic BrE AmE ˌɔːt ə ˈmæt ɪk ◂ AmE \ ˌɔːt̬ ə ˈmæt̬ ɪk ◂ ˌɑːt̬- ▷ automatic|ally ə l‿i …
Longman Pronunciation English Dictionary
PROOF — / pruːf; NAmE / noun , adjective , verb ■ noun 1. [ U , C ] proof (of sth …
Oxford Advanced Learner's English Dictionary
AUTOMATIC — / ˌɔːtəˈmætɪk; NAmE / adjective , noun ■ adjective 1. ( of a machine, device, etc. ) having controls that …
Oxford Advanced Learner's English Dictionary
PROOF — I. proof 1 S3 W3 /pruːf/ BrE AmE noun [ Word Family: verb : ↑ prove ≠ ↑ disprove ; …
Longman Dictionary of Contemporary English
AUTOMATIC — I. au ‧ to ‧ mat ‧ ic 1 S3 AC /ˌɔːtəˈmætɪk◂ $ ˌɒː-/ BrE AmE adjective [ Word Family: …
Longman Dictionary of Contemporary English
PROOF — n., adj., & v. --n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Английский основной разговорный словарь
AUTOMATIC — adj. & n. --adj. 1 (of a machine, device, etc., or its function) working by itself, without direct human intervention. …
Английский основной разговорный словарь
PROOF — n., adj., & v. n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Concise Oxford English Dictionary
AUTOMATIC — adj. & n. adj. 1 (of a machine, device, etc., or its function) working by itself, without direct human intervention. …
Concise Oxford English Dictionary
PROOF — n., adj., & v. --n. 1. facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Oxford English vocab
AUTOMATIC — adj. & n. --adj. 1. (of a machine, device, etc., or its function) working by itself, without direct human intervention. …
Oxford English vocab
-PROOF — ( -proofs, -proofing, -proofed) 1. -proof combines with nouns and verbs to form adjectives which indicate that something cannot be …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — ( proofs) Frequency: The word is one of the 3000 most common words in English. 1. Proof is a fact, …
Collins COBUILD Advanced Learner's English Dictionary
AUTOMATIC — ( automatics) Frequency: The word is one of the 3000 most common words in English. 1. An automatic machine or …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — I. noun COLLOCATIONS FROM OTHER ENTRIES conclusive proof/evidence/findings etc ▪ The investigation failed to provide any conclusive evidence. documentary evidence/proof …
Longman DOCE5 Extras English vocabulary
AUTOMATIC — I. adjective COLLOCATIONS FROM OTHER ENTRIES an automatic weapon (= an automatic gun ) ▪ He was shot 120 times …
Longman DOCE5 Extras English vocabulary
AUTOMATIC — (NOT CONSCIOUS) [adjective] - done without thinking about itLife would be impossible if digestion wasn't an automatic process.When driving becomes …
Cambridge English vocab
PROOF — Synonyms and related words : Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, …
Moby Thesaurus English vocabulary
AUTOMATIC — n. 25B6; adjective automatic garage doors : MECHANIZED, mechanical, automated, computerized, electronic, robotic; self-activating. an automatic reaction : INSTINCTIVE, involuntary, …
Concise Oxford Thesaurus English vocabulary
PROOF — n. 1 evidence, verification, corroboration, confirmation, validation, authentication, ratification, substantiation; documentation, document, facts, data, certification, testimony, Colloq ammunition Is there …
Oxford Thesaurus English vocab
AUTOMATIC — adj. 1 self-acting, self-governing, self-regulating, mechanical, robot, automated Many modern cars are equipped with an automatic choke 2 mechanical, involuntary, …
Oxford Thesaurus English vocab
AUTOMATIC — Anything that operates without the direct control of the driver . See Automatic choke , automatic gearbox , Automatic level …
English Dictionary of Automotive Terms
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. ≈ автостоп automatic pistol ≈ пистолет automatic rifle ≈ автоматическая винтовка; …
Большой Англо-Русский словарь
PROOF — proof.ogg 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
AUTOMATIC — automatic.ogg 1. ͵ɔ:təʹmætık n 1. автоматический механизм; автоматическое устройство this record-player is an automatic - это проигрыватель-автомат 2. 1> автоматическая …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) …
Большой Англо-Русский политехнический словарь
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) крепость (спирта и спиртных …
Большой Англо-Русский политехнический словарь - РУССО
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
PROOF — 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - документальное …
Большой новый Англо-Русский словарь
AUTOMATIC — 1. ͵ɔ:təʹmætık n 1. автоматический механизм; автоматическое устройство this record-player is an automatic - это проигрыватель-автомат 2. 1> автоматическая винтовка, …
Большой новый Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof — представить доказательство These suspicions are …
Англо-Русский словарь по общей лексике
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. — автостоп ( ручка тормоза в поезде ) automatic pistol — …
Англо-Русский словарь по общей лексике
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof — представить доказательство These suspicions are confirmed by the most …
Англо-Русский словарь общей лексики
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. — автостоп (ручка тормоза в поезде) automatic pistol — пистолет automatic rifle — автоматическая винтовка; …
Англо-Русский словарь общей лексики
AUTOMATIC — станок-автомат; автомат, токарный автомат || автоматический - bar automatic - bar-and-chucking automatic - cam automatic - cam-controlled automatic - camless …
Англо-Русский словарь по машиностроению и автоматизации производства 2
AUTOMATIC — станок-автомат; автомат, токарный автомат || автоматический - bar automatic - bar-and-chucking automatic - cam automatic - cam-controlled automatic - camless bar automatic - camless-controlled automatic - capstan …
Англо-Русский словарь по машиностроению и автоматизации производства
AUTOMATIC — 1. _a. 1> автоматический - automatic pilot - automatic pistol - automatic rifle - automatic rifleman - automatic stoker - …
Англо-Русский словарь Мюллера - 24 редакция
AUTOMATIC — 1. a. 1. автоматический - automatic pilot - automatic pistol - automatic rifle - automatic rifleman - automatic stoker - …
Англо-Русский словарь Мюллера - редакция bed
PROOF — 1. сущ.; мн. ч. - proofs доказательство - admission of proof - afford proofs - burden of proof lies with - judgement proof - proof beyond …
Англо-Русский словарь по экономике
AUTOMATIC — прил. 1) автоматический, автоматизированный 2) машинальный, непроизвольный, бессознательный • - automatic behaviour - automatic control system - automatic control - automatic data processing ADP - automatic data processing - …
Англо-Русский словарь по экономике
PROOF — 1) доказательство || доказывать 2) проверка 3) обеспечивать сопротивляемость (напр., против неумелого использования) • - formal program proof - formal proof - indirect proof - irreducible proof - …
Англо-Русский словарь по вычислительной технике и программированию
AUTOMATIC — 1. _a. 1> автоматический; automatic pilot автопилот; automatic pistol автоматический пистолет; automatic rifle автоматическая винтовка; ручной пулемёт; automatic rifleman пулемётчик; …
Англо-Русский словарь Мюллера
PROOF — 1) доказательство 2) испытание, проверка - proof in bankruptcy - proof of deposits - proof of indebtedness - proof of …
Англо-Русский словарь по экономике и финансам
PROOF — 1) доказательство, доказательства 2) доказывание 3) доказанность 4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных 5) пробный оттиск, корректура • proof and hearing — …
Англо-Русский юридический словарь
PROOF — 1) испытание; проба; проверка 2) корректура, корректурный оттиск; гранка; пробный оттиск 3) контрольный отпечаток (пробный отпечаток текста, полученный на печатающем …
Англо-Русский словарь по полиграфии и издательскому делу
AUTOMATIC — автоматический ; машинальный ; ~ automatic balance ; ~ automatic control ; ~ automatic economic stabilizers ; ~ automatic line …
Англо-Русский Деловой словарь
PROOF — 1) доказательство; доказывание 2) проба, пробный оттиск • - accessory proof - additional proof - documentary proof - failing proof - proof of evidence - proof of novelty - …
Англо-Русский словарь по патентам и товарным знакам
AUTOMATIC — прил. 1) тех. автоматический, автоматизированный (работающий без прямого участия человека) automatic machine — автомат automatic pilot — автопилот 2) а) общ. непроизвольный, машинальный; бессознательный; автоматический breathing …
Новый англо-русский толковый словарь по менеджменту и экономике труда
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Новый большой Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. ≈ автостоп automatic pistol ≈ пистолет automatic rifle ≈ автоматическая винтовка; …
Новый большой Англо-Русский словарь

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

← AUTOMATIC PROGRAMMING AUTOMATIC PUNCH→