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 | метод доказательства |
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 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.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 | без доказательства |