1. имя существительное 1) а) подтверждение, доказательство Например: to furnish / give / offer / present / produce / provide proof — представить доказательство These suspicions are confirmed by the most direct proof. — Эти подозрения подтверждаются самыми прямыми доказательствами. б) [юриспруденция] доказывание, доказательство (виновности) Например: burden of proof — бремя доказательства, доказывания 2) а) проверка, испытание; проба Синоним(ы): test, trial, experiment, examination, probation, assay б) [математика] проверка (правильности арифметических действий) 3) а) установленный градус крепости спирта Например: above (under) proof — выше (ниже) установленного градуса б) спирт установленной крепости 4) пробирка 5) [фотодело] первый, пробный отпечаток с плёнки 6) [полиграфическое и издательское дело] а) (proofs) корректура; гранки б) пробный оттиск 7) непроницаемость, защищённость (от чего-либо) Например: The proof of the pudding is in the eating. [пословица] — Всё проверяется на практике. 2. прилагательное 1) а) [литературно-книжное] (proof against) непроницаемый; непробиваемый Например: the proofest steel of Milan — самая крепкая миланская сталь A dressing-gown is no proof against draughts. — Домашний халат не защищает от сквозняков. б) [литературно-книжное] недоступный, не поддающийся (лести и т. п.) в) (-proof) как компонент сложных слов со значением: гарантированно защищающий или защищённый от воздействия чего-либо Например: waterproof raincoat — непромокаемый плащ waterproof watch — водонепроницаемые часы bulletproof vest — пуленепробиваемый жилет, бронежилет soundproof room — звуконепроницаемое помещение Синоним(ы): strong, impenetrable, impervious, invulnerable 2) установленной крепости, определённой крепости (об алкогольных напитках) 3. глагол 1) а) делать непроницаемым б) [технический термин] делать водонепроницаемым, придавать водонепроницаемость Синоним(ы): waterproof 2) а) [полиграфическое и издательское дело] читать корректуру, гранки б) [полиграфическое и издательское дело] делать пробный оттиск в) [фотодело] делать пробный отпечаток 3) проверять; испытывать Синоним(ы): test, estimate
1) проверка, испытание Синоним(ы): test 2) подтверждение, доказательство 3) пробный оттиск оттиск свёрстанного издания, используемый для проверки выполненной вёрстки и цветоделения 4) (-proof) устойчивый (к воздействию), защищённый, непроницаемый Смотри также: foolproof Например: waterproof — водонепроницаемый
1) доказательство; обоснование; подтверждение 2) полиграфия корректура, пробный оттиск 3) контрольный отпечаток 4) проверка; испытание; проба; проверять; испытывать; опробовать 5) безопасный; защищённый 6) обеспечивать непроницаемость; герметизировать Например: axiom needs no proof — аксиома не требует доказательства not serving as a proof — недоказательный proof against — устойчивый к воздействию (какого-либо фактора) proof by analysis — доказательство путём анализа proof by contradiction — математика доказательство от противного proof by enumeration — доказательство путём перебора вариантов proof by exhaustion — доказательство путём полного перебора вариантов proof by induction — математика доказательство по индукции proof by matrices — математика доказательство с помощью матриц proof by reduction to absurdity — доказательство от противного proof from hypothesis — доказательство с помощью гипотезы proof in outline — набросок [схема] доказательства; the proof is immediate — доказательство получаем сразу the proof is obvious — доказательство очевидно the proof is straightforward — доказательство не вызывает затруднений this completes the proof — это завершает доказательство; на этом доказательство заканчивается this concludes the proof of theorem — это завершает доказательство теоремы to give a proof — математика дать доказательство
1) проверка; проба 2) [математика] доказательство 3) корректурный оттиск, корректура 4) [полиграфия] пробный оттиск; пробное изображение; [кинофототехника] пробный отпечаток 5) крепость (спирта и спиртных напитков) 6) расстойка (тестовых заготовок)
I. noun Etymology: Middle English prof, prove, alteration of preve, from Anglo-French preove, from Late Latin proba, from Latin probare to prove — more at prove 1. a. the cogency of evidence that compels acceptance by the mind of a truth or a fact b. the process or an instance of establishing the validity of a statement especially by derivation from other statements in accordance with principles of reasoning 2. obsolete experience 3. something that induces certainty or establishes validity 4. archaic the quality or state of having been tested or tried; especially unyielding hardness 5. evidence operating to determine the finding or judgment of a tribunal 6. a. plural proofs or proof a copy (as of typeset text) made for examination or correction b. a test impression of an engraving, etching, or lithograph c. a coin that is struck from a highly polished die on a polished planchet, is not intended for circulation, and sometimes differs in metallic content from coins of identical design struck for circulation d. a test photographic print made from a negative 7. a test applied to articles or substances to determine whether they are of standard or satisfactory quality 8. a. the minimum alcoholic strength of proof spirit b. strength with reference to the standard for proof spirit; specifically alcoholic strength indicated by a number that is twice the percent by volume of alcohol present Example: whiskey of 90 proof is 45 percent alcohol II. adjective 1. able to resist or repel Example: boots that were…proof against cold and wet — Robertson Davies — often used in combination Example: windproof 2. used in proving or testing or as a standard of comparison 3. of standard strength or quality or alcoholic content III. transitive verb 1. a. to make or take a proof or test of b. proofread 2. to give a resistant quality to 3. to activate (yeast) by mixing with water and sometimes sugar or milk • proofer noun
1. A finite sequence of well-formed formulas, F1, F2, ... Fn, where each Fi either is an axiom, or follows by some rule of inference from some of the previous F's, and Fn is the statement being proved. See also proof theory. 2. A left-associative natural language parser by Craig R. Latta. Ported to Decstation 3100, Sun-4.