Terms for subject Mathematics containing proof

English	Russian
a convincing proof of	убедительное доказательство
a priori proof	априорное доказательство
a reducio ad absurdum proof	доказательство приведением к абсурду
a slight change in the proof actually shows that	в действительности
abridged proof	набросок доказательства
absence of proof	недоказанность
absolute proof	абсолютное доказательство
abstract proof	абстрактное доказательство
ad hoc proof	специальное доказательство
algebraic proof	алгебраическое доказательство
alleged proof	предполагаемое доказательство
alternative proof	вариантное доказательство
an earthquake-proof structure	сейсмостойкая конструкция
analytical proof	аналитическое доказательство
... and finally A > B, which finishes the proof of Theorem 1	и окончательно, A > B, что и заканчивает доказательство Теоремы 1
an/the axiom needs no proof	аксиома не требует доказательства
apagogic proof	косвенное доказательство
automatic proof	автоматическое доказательство
be presented without derivation or proof	приводиться без вывода и доказательства
be proof that	являться доказательством того, что
brilliant proof	яркое доказательство
classical proof	классическое доказательство
combinatorial proof	комбинаторное доказательство
complete proof	строгое обоснование
complete proof	полное доказательство
complete proof is not yet at hand	полное доказательство ещё не найдено
complete the proof	кончать доказательство
complete the proof	заканчивать доказательство (This completes the proof of the first part of the theorem; and the second is a triviality.)
complete the proof	завершить доказательство (the above equality completes the proof of lemma 1)
complete the proof	достроить доказательство
conditional proof	условное доказательство
consistency proof	доказательство непротиворечивости
cyclic proof	циклическое доказательство
deductive proof	доказательство по выводу
deductive proof	дедуктивное доказательство
detailed proof	подробное доказательство
diagonal proof	диагональное доказательство
effective proof	эффективное доказательство
elementary proof	элементарное доказательство
exact proof	точное доказательство
existence proof	доказательство существования
fallacious proof	ошибочное доказательство
finish the proof, we have then to compare x with y	чтобы завершить доказательство, мы
finish the proof, we have then to compare x with y	чтобы завершить доказательство, мы
finitary proof	финитное доказательство
finite proof	конечное доказательство
first we will give some preliminaries for the proof of the theorem	сейчас мы приведём некоторые первоначальные сведения, необходимые для доказательства теоремы
for reasons of space, the proof is omitted	опускать
for the remainder of the proof	для оставшейся части доказательства ... (we write ...)
for the remainder of the proof we write	чтобы завершить доказательство, мы выпишем ...
formal proof	формальное доказательство
furnish convincing proof that	являться убедительным доказательством
general proof	общее доказательство
genetic proof	генетическое доказательство
geometric proof	геометрическое доказательство
get ahead of the proof	забежать вперёд в доказательстве
give proof	дать доказательство
Godel proof	геделевское доказательство
heuristic proof	эвристическое доказательство
I first give some preliminaries for the proof of Theorem D	сначала я приведу некоторые данные, необходимые для
in fact, a slight change in the proof shows that	в действительности
incomplete proof	неполное доказательство
indirect proof	косвенное доказательство
inductive proof	доказательство по индукции
informal proof	неформальное доказательство
intuitionistic proof	интуиционистский вывод
intuitive proof	интуитивное доказательство
irreducible proof	несводимое доказательство
it is necessary to arrange our proofs in such a manner as to avoid such passages to the limit	необходимо построить доказательства таким образом ...
it is necessary to arrange our proofs in such a manner as to avoid such passages to the limit	необходимо построить доказательства
its proof can be found in	её теоремы доказательство может быть найдено в (any book on homotopy theory)
its proof can be found in	её теоремы доказательство может быть найдено в (any book on homotopy theory; ...)
logical proof	логическое доказательство
mathematical proof	математическое доказательство
mechanical proof	механическое доказательство
method of proof	метод доказательства
necessary proof process	необходимое средство доказательства (ssn)
necessary proof processes	необходимые средства доказательства (ssn)
nonelementary proof	неэлементарное доказательство
not serving as a proof	недоказательный
our proof follows along the lines of Lemma 2 of 1	наше доказательство, в основном, повторяет доказательство Леммы 2 из 1
our proof of Theorem 2 follows the arguments in 2 closely	наше доказательство Теоремы 2 близко следует рассуждениям из 2
outline of proof	набросок доказательства
outline of the proof	эскиз доказательства (LOlga)
partial proof	частичное доказательство
perfect proof	неуязвимое доказательство
preceding the proof we first set up another problem	доказательству теоремы мы предпошлём постановку другой задачи
preceding the proof we introduce	перед формулировкой теоремы мы введём
precise proof	точное доказательство
predicative proof	предикатное доказательство
probabilistic proof	вероятностное доказательство
proof by analysis	доказательство путём анализа
proof by contradiction	доказательство от обратного
proof by contradiction	доказательство от противного (In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by showing that the proposition's being false would imply a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, reductio ad impossibile. wikipedia.org)
proof by contradiction, by reductio ad absurdum proof	доказательство от обратного
proof by enumeration	доказательство путём перебора вариантов
proof by exhaustion	доказательство путём полного перебора вариантов
proof by induction	доказательство по индукции
proof by matrices	доказательство с помощью матриц
proof by reduction to absurdity	доказательство от противного
proof from hypothesis	доказательство с помощью гипотезы
proof graph	граф доказательства
proof in outline	набросок доказательства
proof is complete	доказательство завершено
proof is immediate	доказательство получаем сразу же
proof is left as an exercise	доказательство оставим в качестве упражнения
proof is obvious	доказательство очевидно
proof is straightforward	доказательство очевидно (ssn)
proof is straightforward	доказательство не вызывает затруднений
proof listing	распечатка входной и выходной программ
proof mass	чувствительная масса
proof method	метод доказательства
proof of hypothesis	проверка гипотезы
proof of identity	доказательство тождества
proof of necessity	доказательство необходимости
proof of sufficiency	доказательство достаточности
proof of theorem	доказательство теоремы (ssn)
proof pattern	модель доказательства
proof procedure	метод доказательства
proof process	средство доказательства (ssn)
proof-reading	правка корректуры
proof sample	поверка
proof scheme	схема доказательства
proof sketch	эскиз доказательства (LOlga)
proof table	таблица доказательства
proof technique	метод доказательства
proof thread	нить доказательства
proof tree	дерево доказательства
proofs of theorems	доказательства теорем (ssn)
property of being strategy-proof	неманипулируемость
property of being strategy-proof	стратегическая устойчивость
pure variable proof	доказательство с чистыми переменными
purely algebraic proof	чисто алгебраическое доказательство
recall that statements that are accepted without proof are called postulates	напомним, что утверждения, которые принимаются без доказательства, называются аксиомами
reduced proof mass	приведенная чувствительная масса
by reductio ad absurdum proof	доказательство от противного
reductio ad absurdum proof	доказательство от обратного
regressive proof	регрессивное доказательство
relative proof	относительное доказательство
rule of proof	правило доказательства
scheme of proof	схема доказательства
sketch of proof	набросок доказательства
sketch of the proof	эскиз доказательства (LOlga)
sound-proof	звуконепроницаемость
sound proof	непроницаемый для звука
sound-proof	звукоизоляционный
strategy of proof	стратегия доказательства
such an assumption plays a technical but essential role in the proof	техническая, но существенная роль в доказательстве
tamper proof	с защитой от копирования
the basic point of the proof is the inequality	основной пункт доказательства (3.6)
the basic point of the proof is the inequality	основной пункт доказательства (3.2)
the basic point of the proof is the inequality	основная часть доказательства (3.3)
the device is shock proof	конструкция не боится ударов
the estimate we obtained in the course of proof seems to be of independent interest	при доказательстве
the instrument is overload-proof	инструмент не боится перегрузки
the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in 4	центральное орудие
the key tools in the proof of Theorem 1 are asymptotic existence theorems 3	основным средством в доказательстве
the method of proof is carried over to domains	переносить на
the proof can be adapted for	доказательство можно перенести на (A.Rezvov)
the proof can be adapted for	доказательство можно переделать для (A.Rezvov)
the proof follows the same pattern	по тому же принципу
the proof has been rediscovered by many later writers	это доказательство позднее было переоткрыто многими авторами
the proof introduces some of the features of holomorphic mappings in several variables that we will need later	некоторые из свойств
the proof is by induction on п	индукция по п
the proof is done	доказательство завершено
the proof is immediate	доказательство получаем сразу
the proof is immediate from the definition of limit and is left as an exercise	непосредственно следовать из
the proof is similar to the proof of Theorem 2	доказательство теоремы по доказательству Теоремы 2
the proof method is analogous to the method used by	метод доказательства является аналогичным методу, использованному
the proof needs	для доказательства необходимы ... (some lemmas)
the proof of Theorem 2.1 is arranged as a series of seven Lemmas	доказательство ... расположено в виде ряда семи лемм
the proof of the lemma is finished	доказательство леммы окончено
the proof of the lemma is finished	доказательство леммы закончено
the proof of the theorem is finished	что и заканчивает доказательство теоремы
the proof of Theorem 2.1 is arranged as a series of seven Lemmas /Lemma 2.1 to Lemma 2.7/	доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм /от Леммы 2.1 до Леммы 2.7/
the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство использует очень близкую технику
the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство этой теоремы использует технику, подобную применяемой в вышеуказанных статьях
the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство этой теоремы использует технику, подобную приведённой в цитированных выше работах
the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство данной теоремы использует технические средства, подобные указанным в вышеназванных статьях
the proof we present is self-contained	доказательство в замкнутой форме
the proofs follow closely those of	доказательства подобны ...
the rest of the proof is now more or less straightforward	остальная часть доказательства уже более-менее очевидна
the rest of the proof is now more or less straightforward	остальная часть доказательства проводится уже более или менее просто
the rest of the proof is omitted because of the awkwardness of the required mathematical operations	громоздкость
the technique of the proof of Theorem 2 shares much the same principles with the above mentioned result due to Bauer 3	техника доказательства теоремы 2 основана на аналогичных принципах ...
the theorem and its proof techniques give a lot of insight	как сама теорема, так и техника её доказательства дают глубокое понимание (into the way multilinear operators should be analyzed)
the theorem and its proof techniques give a lot of insight into the way multilinear operators should be analyzed	давать глубокое проникновение в способ, которым
the three lemmas constitute the proof of Theorem 2	эти три леммы и образуют доказательство теоремы 2
the whole proof	всё доказательство
theorem on consistency proofs	теорема о доказательствах непротиворечивости
theory of proof	теория доказательства
this completes our proof	что и завершает наше доказательство
this completes the proof	на этом доказательство заканчивается
this completes the proof	это завершает доказательство
this concludes the proof of theorem	это завершает доказательство теоремы
this is a further proof of	ещё одно доказательство
this is a perfect proof of	это совершенно полное доказательство факта, что
this is strong proof that	это даёт убедительное доказательство того, что
this proof	строящееся доказательство
this proof is similar to the proof of Theorem 2	доказательство этого факта подобно доказательству Теоремы 2
to conclude the proof	завершить доказательство (to conclude the proof of the theorem, it remains to note that the above expression is negative)
topological proof	топологическое доказательство
towards the proof of	чтобы приступить к доказательству, мы используем ... (Theorem D we use the proposition to see that a=0)
tree form proof	доказательство в виде дерева
tree-form proof	ветвящееся доказательство
trouble-proof	бесперебойный
unassailable proof	неопровержимое доказательство
verbal proof	рассуждение
visual proof	наглядное доказательство
we begin the proof with a lemma	мы начнём доказательство с леммы
we do not cite the proof because of its awkwardness	мы не приводим это доказательство из-за его громоздкости
we leave the proof to the reader	доказательство предоставляем читателю
we shall divide the proof into two steps	доказательство разобьём на два шага
we shall divide the proof into two steps	разобьём доказательство на два шага
we will simplify the proof of theorem slightly	мы несколько упростим доказательство (by working with the subspaces)
we will simplify the proof of theorem slightly	мы несколько упростим доказательство (by working with the subspaces; ...)
we will simplify the proof of theorem slightly by working with the subspaces	мы упростим слегка доказательство теоремы, используя подпространства
we will simplify the proof of theorem slightly by working with the subspaces	мы слегка упростим доказательство теоремы, используя подпространства
weather-proof	погодоустойчивый
which completes finishes the proof of Theorem	что и завершает доказательство теоремы
... and finally A > B, which finishes the proof	что заканчивает доказательство (of Theorem 1)
without proof	голословно
without proof	без доказательства