Общая лексика- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
proof
сущ.
подтверждение, доказательство
юр. доказывание, доказательство (виновности)
проверка, испытание; проба
мат. проверка (правильности арифметических действий)
установленный градус крепости спирта
спирт установленной крепости
пробирка
фото первый, пробный отпечаток с плёнки
полигр.
(proofs) корректура; гранки
пробный оттиск
непроницаемость, защищённость (от чего-л.)
прил.
книжн. (proof against) непроницаемый; непробиваемый
книжн. недоступный, не поддающийся (лести и т. п.)
(-proof) как компонент сложных слов со значением: гарантированно защищающий или защищённый от воздействия чего-л.
установленной крепости, определённой крепости (об алкогольных напитках)
гл.
делать непроницаемым
тех. делать водонепроницаемым, придавать водонепроницаемость
полигр. читать корректуру, гранки
полигр. делать пробный оттиск
фото делать пробный отпечаток
проверять; испытывать
Law (En-Ru)
proof
доказательство, доказательства
доказывание
доказанность
судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных
пробный оттиск, корректура
Откройте все бесплатные
тематические словари
Примеры из текстов
Deductive Proofs:Дедуктивные доказательства.Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийВведение в теорию автоматов, языков и вычисленийХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри© Издательский дом "Вильямс", 2002© Addison-Wesley Publishing Company, Inc. 2001Introduction to automata theory, languages, and computationHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey© 2001 by Addison-Wesley
Proofs, short but complete, of the formulae employed arc collected in a series of Appendices.Краткие, но законченные доказательства использованных формул собраны в ряде приложений.Born, Max / Atomic PhysicsБорн, Макс / Атомная физикаАтомная физикаБорн, МаксAtomic PhysicsBorn, Max
Proofs of the theorems are either left as exercises or can be found in any standard text on linear algebra.Доказательства теорем оставлены читателю в качестве упражнений; их можно найти в любом стандартном учебнике по линейной алгебреMathews, John H.,Fink, Kurtis D. / Numerical Methods Using MatlabМэтьюз, Джон, Г.,Финк, Куртис, Д. / Численные методы. Использование MATLABЧисленные методы. Использование MATLABМэтьюз, Джон, Г.,Финк, Куртис, Д.© Издательский дом "Вильямс", 2001© Prentice Hall, Inc., 1999Numerical Methods Using MatlabMathews, John H.,Fink, Kurtis D.
Proofs of Fermat’s theorem for the exponent 3 were also published by the authors listed in Table 2.В табл. 2 приведен список авторов, опубликовавших доказательство теоремы Ферма для показателя 3.Ribenboim, Paulo / Fermat's Last Theorem for AmateursРибенбойм, П. / Последняя теорема Ферма для любителейПоследняя теорема Ферма для любителейРибенбойм, П.© перевод на русcкий язык, издательство «Мир», 2003© 1999 Springer-Verlag New York, Inc.Fermat's Last Theorem for AmateursRibenboim, Paulo© 1999 Springer-Verlag New York, Inc.
Proof of sufficiency.Доказательство достаточности.Красносельский, М.А.,Рутицкий, Я.Б. / ВЫПУКЛЫЕ ФУНКЦИИ и ПРОСТРАНСТВА ОРЛИЧАKrasnosel'skii, M.A.,Rutickii, Ya.B. / CONVEX FUNCTIONS AND ORLICZ SPACESCONVEX FUNCTIONS AND ORLICZ SPACESKrasnosel'skii, M.A.,Rutickii, Ya.B.© 1961 by P. Noordhoff, Ltd. GroningenВЫПУКЛЫЕ ФУНКЦИИ и ПРОСТРАНСТВА ОРЛИЧАКрасносельский, М.А.,Рутицкий, Я.Б.
Proof. Immediate, and left to the reader.Доказательство очевидно и предоставляется читателю.Lang, Serge / SL2(R)Ленг, Серж / SL2(R)SL2(R)Ленг, Серж© Перевод на русский язык, «Мир», 1977© 1975 by Addison-Wesley Publishing Company, Inc.SL2(R)Lang, Serge© 1985 by Springer-Verlag New York Inc.© 1975 by Addison-Wesley Publishing Company. Inc.
"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Достоевский, Фёдор / Братья КарамазовыБратья КарамазовыДостоевский, Фёдор© Издательство "Художественная литература", 1988The brothers KaramazovDostoevsky, Fyodor
You can have no proofs.У вас не может быть никаких доказательств.Dostoevsky, Fyodor / Crime and PunishmentДостоевский, Фёдор / Преступление и наказаниеПреступление и наказаниеДостоевский, Фёдор© Издательство "Художественная литература", 1970Crime and PunishmentDostoevsky, 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 AmateursRibenboim, 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Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовЧто такое математика? Элементарный очерк идей и методовКурант, Р.,Роббинс, Г.© МЦНМО, 2001What Is Mathematics? An Elementary Approach to Ideas and MethodsCourant, Richard,Robbins, Herbert© 1941 (renewed 1969) by Richard Courant© 1996 by Oxford University Press, Inc.
Proof of the TheoremДоказательство теоремыNeumann, John,Morgenstern, Oskar / Theory of Games and Economic BehaviorНейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеТеория игр и экономическое поведениеНейман, Джон,Моргенштерн, Оскар© Издательство «Наука», 1970 г.Theory of Games and Economic BehaviorNeumann, John,Morgenstern, Oskar© 1944 by Princeton University Press
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Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовЧто такое математика? Элементарный очерк идей и методовКурант, Р.,Роббинс, Г.© МЦНМО, 2001What Is Mathematics? An Elementary Approach to Ideas and MethodsCourant, 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 TheoryWhitney, Hassler
“‘Proof?’ I echoed.— Доказательства? — эхом отозвался я.Kostova, Elisabeth / The HistorianКостова, Элизабет / ИсторикИсторикКостова, Элизабет© Перевод. Г. Соловьева, 2005© ООО "Издательство АСТ", 2005© Elizabeth Kostova, 2005The HistorianKostova, Elisabeth© 2005 by Elizabeth Kostova
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Клини, С.К. / Математическая логикаМатематическая логикаКлини, С.К.© Перевод на русский язык «Мир», 1973Mathematical LogicKleene, Stephen Cole© 1967 by Stephen Cole Kleene
Добавить в мой словарь
Не найденоПереводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
Формы слова
proof
Singular | Plural | |
Common case | proof | proofs |
Possessive case | proof's | proofs' |
proof
Basic forms | |
---|---|
Past | proofed |
Imperative | proof |
Present Participle (Participle I) | proofing |
Past Participle (Participle II) | proofed |
Present Indefinite, Active Voice | |
---|---|
I proof | we proof |
you proof | you proof |
he/she/it proofs | they proof |
Present Continuous, Active Voice | |
---|---|
I am proofing | we are proofing |
you are proofing | you are proofing |
he/she/it is proofing | they are proofing |
Present Perfect, Active Voice | |
---|---|
I have proofed | we have proofed |
you have proofed | you have proofed |
he/she/it has proofed | they have proofed |
Present Perfect Continuous, Active Voice | |
---|---|
I have been proofing | we have been proofing |
you have been proofing | you have been proofing |
he/she/it has been proofing | they have been proofing |
Past Indefinite, Active Voice | |
---|---|
I proofed | we proofed |
you proofed | you proofed |
he/she/it proofed | they proofed |
Past Continuous, Active Voice | |
---|---|
I was proofing | we were proofing |
you were proofing | you were proofing |
he/she/it was proofing | they were proofing |
Past Perfect, Active Voice | |
---|---|
I had proofed | we had proofed |
you had proofed | you had proofed |
he/she/it had proofed | they had proofed |
Past Perfect Continuous, Active Voice | |
---|---|
I had been proofing | we had been proofing |
you had been proofing | you had been proofing |
he/she/it had been proofing | they had been proofing |
Future Indefinite, Active Voice | |
---|---|
I shall/will proof | we shall/will proof |
you will proof | you will proof |
he/she/it will proof | they will proof |
Future Continuous, Active Voice | |
---|---|
I shall/will be proofing | we shall/will be proofing |
you will be proofing | you will be proofing |
he/she/it will be proofing | they will be proofing |
Future Perfect, Active Voice | |
---|---|
I shall/will have proofed | we shall/will have proofed |
you will have proofed | you will have proofed |
he/she/it will have proofed | they will have proofed |
Future Perfect Continuous, Active Voice | |
---|---|
I shall/will have been proofing | we shall/will have been proofing |
you will have been proofing | you will have been proofing |
he/she/it will have been proofing | they will have been proofing |
Future in the Past Indefinite, Active Voice | |
---|---|
I should/would proof | we should/would proof |
you would proof | you would proof |
he/she/it would proof | they would proof |
Future in the Past Continuous, Active Voice | |
---|---|
I should/would be proofing | we should/would be proofing |
you would be proofing | you would be proofing |
he/she/it would be proofing | they would be proofing |
Future in the Past Perfect, Active Voice | |
---|---|
I should/would have proofed | we should/would have proofed |
you would have proofed | you would have proofed |
he/she/it would have proofed | they would have proofed |
Future in the Past Perfect Continuous, Active Voice | |
---|---|
I should/would have been proofing | we should/would have been proofing |
you would have been proofing | you would have been proofing |
he/she/it would have been proofing | they would have been proofing |
Present Indefinite, Passive Voice | |
---|---|
I am proofed | we are proofed |
you are proofed | you are proofed |
he/she/it is proofed | they are proofed |
Present Continuous, Passive Voice | |
---|---|
I am being proofed | we are being proofed |
you are being proofed | you are being proofed |
he/she/it is being proofed | they are being proofed |
Present Perfect, Passive Voice | |
---|---|
I have been proofed | we have been proofed |
you have been proofed | you have been proofed |
he/she/it has been proofed | they have been proofed |
Past Indefinite, Passive Voice | |
---|---|
I was proofed | we were proofed |
you were proofed | you were proofed |
he/she/it was proofed | they were proofed |
Past Continuous, Passive Voice | |
---|---|
I was being proofed | we were being proofed |
you were being proofed | you were being proofed |
he/she/it was being proofed | they were being proofed |
Past Perfect, Passive Voice | |
---|---|
I had been proofed | we had been proofed |
you had been proofed | you had been proofed |
he/she/it had been proofed | they had been proofed |
Future Indefinite, Passive Voice | |
---|---|
I shall/will be proofed | we shall/will be proofed |
you will be proofed | you will be proofed |
he/she/it will be proofed | they will be proofed |
Future Perfect, Passive Voice | |
---|---|
I shall/will have been proofed | we shall/will have been proofed |
you will have been proofed | you will have been proofed |
he/she/it will have been proofed | they will have been proofed |