about icon-addNote android4 Answer apple4 icon-appStoreEN icon-appStoreES icon-appStorePT icon-appStoreRU Imported Layers Copy 7 icon-arrow-spined icon-ask icon-attention icon-bubble-blue icon-bubble-red ButtonError ButtonLoader ButtonOk icon-cake icon-camera icon-card-add icon-card-calendar icon-card-remove icon-card-sort chrome-extension-ru chrome-extension-es-mx chrome-extension-pt-br chrome-extension-ru comment comment icon-cop-cut icon-cop-star Cross Dislike icon-editPen icon-entrance icon-errorBig facebook flag flag_vector icon-globe icon-googlePlayEN icon-googlePlayRU icon-greyLoader icon-cake Heart 4EB021E9-B441-4209-A542-9E882D3252DE Created with sketchtool. Info Kebab icon-lamp icon-lampBig icon-learnHat icon-learning-hat Dislike Loup Loup icon-more icon-note icon-notifications icon-pen Pencil icon-play icon-plus-light icon-plus icon-rosie-cut Rune scrollUp Share-icon Shevron-Down Shevron Left Shevron Right sound sound1 sound2 sound3 sound4 sound2 icon-star Swap icon-translate Trash icon-tutor-ellipsis icon-tutor-flip Tutor folder icon icon-tutor-learned icon-twoWayArrow Mezhdunarodny_logotip_VK vk icon-word pen_icon Logo Logo Logo
без примеровНайдено в 9 словарях

Общая лексика
  • Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.

proof

[pruːf] брит. / амер.

  1. сущ.

      1. подтверждение, доказательство

      2. юр. доказывание, доказательство (виновности)

      1. проверка, испытание; проба

      2. мат. проверка (правильности арифметических действий)

      1. установленный градус крепости спирта

      2. спирт установленной крепости

    1. пробирка

    2. фото первый, пробный отпечаток с плёнки

    3. полигр.

      1. (proofs) корректура; гранки

      2. пробный оттиск

    4. непроницаемость, защищённость (от чего-л.)

  2. прил.

      1. книжн. (proof against) непроницаемый; непробиваемый

      2. книжн. недоступный, не поддающийся (лести и т. п.)

      3. (-proof) как компонент сложных слов со значением: гарантированно защищающий или защищённый от воздействия чего-л.

    1. установленной крепости, определённой крепости (об алкогольных напитках)

  3. гл.

      1. делать непроницаемым

      2. тех. делать водонепроницаемым, придавать водонепроницаемость

      1. полигр. читать корректуру, гранки

      2. полигр. делать пробный оттиск

      3. фото делать пробный отпечаток

    1. проверять; испытывать

Law (En-Ru)

proof

  1. доказательство, доказательства

  2. доказывание

  3. доказанность

  4. судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных

  5. пробный оттиск, корректура

Откройте все бесплатные
тематические словари

Примеры из текстов

"What else is left for him to do?" said Smerdyakov, with a bitter grin. "And who will believe him with all the proofs against him?
-- Да им чтó же больше остается? -- горько осклабился Смердяков, -- и кто же им поверит после всех тех улик?
Dostoevsky, Fyodor / The brothers KaramazovДостоевский, Фёдор / Братья Карамазовы
Братья Карамазовы
Достоевский, Фёдор
© Издательство "Художественная литература", 1988
The brothers Karamazov
Dostoevsky, Fyodor
You can have no proofs.
У вас не может быть никаких доказательств.
Dostoevsky, Fyodor / Crime and PunishmentДостоевский, Фёдор / Преступление и наказание
Преступление и наказание
Достоевский, Фёдор
© Издательство "Художественная литература", 1970
Crime and Punishment
Dostoevsky, Fyodor
© 2009 Rhodes Media
The results below were given with complete proofs by Legendre, as early as 1823, and were known to Sophie Germain.
Доказательство приводимых нами результатов принадлежит Лежандру (1823) и было известно Софи Жермен.
Ribenboim, Paulo / Fermat's Last Theorem for AmateursРибенбойм, П. / Последняя теорема Ферма для любителей
Последняя теорема Ферма для любителей
Рибенбойм, П.
© перевод на русcкий язык, издательство «Мир», 2003
© 1999 Springer-Verlag New York, Inc.
Fermat's Last Theorem for Amateurs
Ribenboim, Paulo
© 1999 Springer-Verlag New York, Inc.
But there are some theorems for which it has not yet been possible to give other than indirect proofs.
Но попадаются и такие теоремы, для которых до настоящего времени не удалось дать иных доказательств, кроме косвенных.
Courant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and MethodsКурант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методов
Что такое математика? Элементарный очерк идей и методов
Курант, Р.,Роббинс, Г.
© МЦНМО, 2001
What Is Mathematics? An Elementary Approach to Ideas and Methods
Courant, Richard,Robbins, Herbert
© 1941 (renewed 1969) by Richard Courant
© 1996 by Oxford University Press, Inc.
Even serious mathematicians sometimes deceived themselves into handing in or publishing proofs which collapsed after some superficial mistake was discovered.
Даже специалисты-математики не раз были введены в заблуждение и представляли или публиковали доказательства, которые затем отпадали после обнаружения в них иной раз каких-нибудь поверхностных недосмотров.
Courant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and MethodsКурант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методов
Что такое математика? Элементарный очерк идей и методов
Курант, Р.,Роббинс, Г.
© МЦНМО, 2001
What Is Mathematics? An Elementary Approach to Ideas and Methods
Courant, Richard,Robbins, Herbert
© 1941 (renewed 1969) by Richard Courant
© 1996 by Oxford University Press, Inc.
If F maps En into Em, we do not need the considerations of Chapter VIII; but the proofs in the general case are hardly more difficult.
Если F отображает пространство Еn в Еm, то нам не нужны рассмотрения гл. VIII; но в общем случае доказательства значительно сложнее.
Whitney, Hassler / Geometric Integration TheoryУитни, Хасслер / Геометрическая теория интегрирования
Геометрическая теория интегрирования
Уитни, Хасслер
Geometric Integration Theory
Whitney, Hassler
The student should practice finding such informal proofs of results about formal provability and deducibility, working up from the bottom.
Надо, чтобы читатель попрактиковался в нахождении снизу вверх неформальных доказательств таких результатов, касающихся формальной доказуемости и выводимости.
Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика
Математическая логика
Клини, С.К.
© Перевод на русский язык «Мир», 1973
Mathematical Logic
Kleene, Stephen Cole
© 1967 by Stephen Cole Kleene
Thus, assertions/properties can be used as checkers/monitors or as targets of formal proofs, and they are usually used to identify/trap undesirable behavior.
Таким образом, свойства/утверждения могут использоваться в качестве средств проверки и (или) наблюдения или в качестве объектов формальных доказательств, а часто для выявления и локализации недопустимого поведения устройства.
Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца
Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца
Максфилд, Клайв
© Издательский дом «Додэка-XXI», 2007
The design warrior's guide to FPGAs: Devices, Tools and Flows
Maxfield, Clive
© 2004, Mentor Graphics Corporation and Xilinx, Inc.
I have proofs that this circumstance is almost, if not quite, forgotten.
Я имею доказательства, что этот семейный факт, совершенно точный и верный, весьма малоцветен, даже совсем забыт.
Достоевский, Фёдор / ИдиотDostoevsky, Fyodor / Idiot
Idiot
Dostoevsky, Fyodor
© 2004 by Fine Creative Media, Inc.
Идиот
Достоевский, Фёдор
© Издательство "Художественная литература", 1971
Most of the analysis in the preceding sections remains significant, although some of the proofs could be simplified somewhat.
Большая часть результатов, полученных в предыдущих параграфах, сохраняет свое значение, хотя некоторые из доказательств могут быть упрощены.
Massera, Jose Luis,Schäffer, Juan Jorge / Linear Differential Equations and Function SpacesМассера, Х.Л.,Шеффер, Х.Х. / Линейные дифференциальные уравнения и функциональные пространства
Линейные дифференциальные уравнения и функциональные пространства
Массера, Х.Л.,Шеффер, Х.Х.
Linear Differential Equations and Function Spaces
Massera, Jose Luis,Schäffer, Juan Jorge
© 1966, BY ACADEMIC PRESS INC.
It will not be necessary to give proofs in detail, since these can be deduced at once from the corresponding proofs for vectors.
Нам нет необходимости проводить подробно доказательства, так как эти свойства сразу получаются из соответствующих теорем для векторов.
Hodge, W. V. D,Pedoe, D. / Methods of Algebraic Geometry Volume IХодж, В.,Пидо, Д. / Методы алгебраической геометрии. Том 1
Методы алгебраической геометрии. Том 1
Ходж, В.,Пидо, Д.
Methods of Algebraic Geometry Volume I
Hodge, W. V. D,Pedoe, D.
© Cambridge University Press
Readers not interested in mathematical proofs may omit the next section.
Читатель, не интересующийся математическими доказательствами, может опустить этот параграф.
Slavyanov, S.Yu.,Lay, Wolfgang / Special functions: A unified theory based on singularitiesСлавянов, С.Ю.,Лай, Вольфганг / Специальные функции: Единая теория, основанная на анализе особенностей
Специальные функции: Единая теория, основанная на анализе особенностей
Славянов, С.Ю.,Лай, Вольфганг
© "Невский диалект", 2002
© С. Ю. Славянов, В. Лай, 2002
Special functions: A unified theory based on singularities
Slavyanov, S.Yu.,Lay, Wolfgang
© Sergei Yu. Slavyanov and Wolfgang Lay, 2000
The proofs are essentially as before.
Доказательства по сути совпадают с ранее данными.
Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика
Математическая логика
Клини, С.К.
© Перевод на русский язык «Мир», 1973
Mathematical Logic
Kleene, Stephen Cole
© 1967 by Stephen Cole Kleene
That cur Smerdyakov won't send you proofs from the other world... in an envelope.
Собака Смердяков не пришлет с того света вам показание... в пакете.
Dostoevsky, Fyodor / The brothers KaramazovДостоевский, Фёдор / Братья Карамазовы
Братья Карамазовы
Достоевский, Фёдор
© Издательство "Художественная литература", 1988
The brothers Karamazov
Dostoevsky, Fyodor
As to the missing horse, there were abundant proofs in the mud which lay at the bottom of the fatal hollow that he had been there at the time of the struggle.
Что касается пропавшего Серебряного, то многочисленные следы в грязи, покрывавшей дно роковой впадины, указывали на то, что он был тут во время борьбы.
Conan Doyle, Arthur / Silver BlazeКонан Дойль, Артур / Серебрянный
Серебрянный
Конан Дойль, Артур
© АО "Скиф Алекс", 1992
© Перевод Ю. Жуковой
Silver Blaze
Conan Doyle, Arthur
© copyright by Baskervilles Investments

Добавить в мой словарь

Не найдено

Переводы пользователей

Пока нет переводов этого текста.
Будьте первым, кто переведёт его!

Словосочетания

afford proofs
представить доказательства
author's proofs
авторская корректура
chain of proofs
цепь доказательств
produce proofs
предоставить доказательства
theorem of consistency proofs
теорема о доказательствах непротиворечивости
correction of proofs
правка корректуры
set of proofs
комплект гранок
theorem on consistency proofs
теорема о доказательствах непротиворечивости
galley proofs
корректура в гранках
read proofs
держать корректуру
a priori proof
априорное доказательство
abrasion-proof
стойкий к истиранию или износу
abrasion-proof
трудношлифуемый
abridged proof
набросок доказательства
absolute proof
абсолютное доказательство

Формы слова

proof

noun
SingularPlural
Common caseproofproofs
Possessive caseproof'sproofs'

proof

verb
Basic forms
Pastproofed
Imperativeproof
Present Participle (Participle I)proofing
Past Participle (Participle II)proofed
Present Indefinite, Active Voice
I proofwe proof
you proofyou proof
he/she/it proofsthey proof
Present Continuous, Active Voice
I am proofingwe are proofing
you are proofingyou are proofing
he/she/it is proofingthey are proofing
Present Perfect, Active Voice
I have proofedwe have proofed
you have proofedyou have proofed
he/she/it has proofedthey have proofed
Present Perfect Continuous, Active Voice
I have been proofingwe have been proofing
you have been proofingyou have been proofing
he/she/it has been proofingthey have been proofing
Past Indefinite, Active Voice
I proofedwe proofed
you proofedyou proofed
he/she/it proofedthey proofed
Past Continuous, Active Voice
I was proofingwe were proofing
you were proofingyou were proofing
he/she/it was proofingthey were proofing
Past Perfect, Active Voice
I had proofedwe had proofed
you had proofedyou had proofed
he/she/it had proofedthey had proofed
Past Perfect Continuous, Active Voice
I had been proofingwe had been proofing
you had been proofingyou had been proofing
he/she/it had been proofingthey had been proofing
Future Indefinite, Active Voice
I shall/will proofwe shall/will proof
you will proofyou will proof
he/she/it will proofthey will proof
Future Continuous, Active Voice
I shall/will be proofingwe shall/will be proofing
you will be proofingyou will be proofing
he/she/it will be proofingthey will be proofing
Future Perfect, Active Voice
I shall/will have proofedwe shall/will have proofed
you will have proofedyou will have proofed
he/she/it will have proofedthey will have proofed
Future Perfect Continuous, Active Voice
I shall/will have been proofingwe shall/will have been proofing
you will have been proofingyou will have been proofing
he/she/it will have been proofingthey will have been proofing
Future in the Past Indefinite, Active Voice
I should/would proofwe should/would proof
you would proofyou would proof
he/she/it would proofthey would proof
Future in the Past Continuous, Active Voice
I should/would be proofingwe should/would be proofing
you would be proofingyou would be proofing
he/she/it would be proofingthey would be proofing
Future in the Past Perfect, Active Voice
I should/would have proofedwe should/would have proofed
you would have proofedyou would have proofed
he/she/it would have proofedthey would have proofed
Future in the Past Perfect Continuous, Active Voice
I should/would have been proofingwe should/would have been proofing
you would have been proofingyou would have been proofing
he/she/it would have been proofingthey would have been proofing
Present Indefinite, Passive Voice
I am proofedwe are proofed
you are proofedyou are proofed
he/she/it is proofedthey are proofed
Present Continuous, Passive Voice
I am being proofedwe are being proofed
you are being proofedyou are being proofed
he/she/it is being proofedthey are being proofed
Present Perfect, Passive Voice
I have been proofedwe have been proofed
you have been proofedyou have been proofed
he/she/it has been proofedthey have been proofed
Past Indefinite, Passive Voice
I was proofedwe were proofed
you were proofedyou were proofed
he/she/it was proofedthey were proofed
Past Continuous, Passive Voice
I was being proofedwe were being proofed
you were being proofedyou were being proofed
he/she/it was being proofedthey were being proofed
Past Perfect, Passive Voice
I had been proofedwe had been proofed
you had been proofedyou had been proofed
he/she/it had been proofedthey had been proofed
Future Indefinite, Passive Voice
I shall/will be proofedwe shall/will be proofed
you will be proofedyou will be proofed
he/she/it will be proofedthey will be proofed
Future Perfect, Passive Voice
I shall/will have been proofedwe shall/will have been proofed
you will have been proofedyou will have been proofed
he/she/it will have been proofedthey will have been proofed