Terms for subject Mathematics containing доказательством

Russian	English
абсолютное доказательство	absolute proof
абстрактное доказательство	abstract proof
автоматическое доказательство	automatic proof
аксиома не требует доказательства	an/the axiom needs no proof
алгебраическое доказательство	algebraic proof
аналитическое доказательство	analytical proof
апагогическое доказательство	apagage
апостериорное доказательство	posterior evidence
апостериорное доказательство	a posteriori
априорное доказательство	a priori demonstration
априорное доказательство	a priori proof
априорное доказательство	a priori evidence
априорное доказательство	prior evidence
без доказательства	without proof
без доказательства	for granted
в заключение следует доказательство	finally, i is proved as follows (i)
вариантное доказательство	alternative proof
вероятностное доказательство	probabilistic proof
ветвящееся доказательство	tree-form proof
вещественное доказательство	material evidence
всё доказательство	the whole proof
геделевское доказательство	Godel proof
генетическое доказательство	genetic proof
геометрическое доказательство	geometric proof
граф доказательства	proof graph
давать доказательство	prove
давать доказательство	establish
дадим доказательство	we shall establish
дадим доказательство	we shall prove
дать доказательство	give proof
дать доказательство	establish
дать доказательство	prove
дедуктивное доказательство	deductive demonstration
дедуктивное доказательство	deductive proof
дедуктивное доказательство	deductive argument
дерево доказательства	proof tree
диагональное доказательство	diagonal proof
для доказательства необходимы ...	the proof needs (some lemmas)
для оставшейся части доказательства ...	for the remainder of the proof (we write ...)
доказательства подобны ...	the proofs follow closely those of
доказательства теорем	proofs of theorems (ssn)
доказательство в виде дерева	tree form proof
доказательство в замкнутой форме	the proof we present is self-contained
доказательство, вытекающее из существа дела	internal evidence
доказательство данной теоремы использует технические средства, подобные указанным в вышеназванных статьях	the proof of this theorem uses very similar techniques to the ones outlined in the above papers
доказательство достаточности	proof of sufficiency
доказательство за	evidence for (и против; and against)
доказательство за	evidence for (and against; и против)
доказательство завершено	the proof is done
доказательство завершено	proof is complete
доказательство использует очень близкую технику	the proof of this theorem uses very similar techniques to the ones outlined in the above papers
доказательство леммы закончено	the proof of the lemma is finished
доказательство леммы окончено	the proof of the lemma is finished
доказательство методом индукции	inductive evidence
доказательство можно переделать для	the proof can be adapted for (A.Rezvov)
доказательство можно перенести на	the proof can be adapted for (A.Rezvov)
доказательство не вызывает затруднений	proof is straightforward
доказательство необходимости	proof of necessity
доказательство непротиворечивости	consistency proof
доказательство обратного	evidence to the contrary
доказательство оставим в качестве упражнения	proof is left as an exercise
доказательство остаётся тем же, что и для предшествующего результата	the demonstration is the same as for the preceding result
доказательство от обратного	proof by contradiction
доказательство от обратного	reductio ad absurdum proof
доказательство от обратного	proof by contradiction, by reductio ad absurdum proof
доказательство от противного	proof by reduction to absurdity
доказательство от противного	proof by contradiction
доказательство от противного	by reductio ad absurdum proof
доказательство от противного	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 is straightforward (ssn)
доказательство очевидно	proof is obvious
доказательство по аналогии	argument by analogy
доказательство по выводу	deductive proof
доказательство по индукции	inductive proof
доказательство по индукции	proof by induction
доказательство получаем сразу	the proof is immediate
доказательство получаем сразу же	proof is immediate
доказательство предоставляем читателю	we leave the proof to the reader
доказательство приведением к абсурду	a reducio ad absurdum proof
доказательство путём анализа	proof by analysis
доказательство путём перебора вариантов	proof by enumeration
доказательство путём полного перебора вариантов	proof by exhaustion
доказательство разобьём на два шага	we shall divide the proof into two steps
доказательство ... расположено в виде ряда семи лемм	the proof of Theorem 2.1 is arranged as a series of seven Lemmas
доказательство с помощью гипотезы	proof from hypothesis
доказательство с помощью матриц	proof by matrices
доказательство с чистыми переменными	pure variable proof
доказательство совпадает с доказательством предыдущего утверждения	the demonstration is the same as for the preceding result
доказательство существования	existence proof
доказательство теоремы	proof of theorem (ssn)
доказательство теоремы	proposition
доказательство теоремы по доказательству Теоремы 2	the proof is similar to the proof of Theorem 2
доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм /от Леммы 2.1 до Леммы 2.7/	the proof of Theorem 2.1 is arranged as a series of seven Lemmas /Lemma 2.1 to Lemma 2.7/
доказательство тождества	proof of identity
доказательство этого опирается на Задачу 2	this bears on Problem 2
доказательство этого факта подобно доказательству Теоремы 2	this proof is similar to the proof of Theorem 2
доказательство этой теоремы использует технику, подобную приведённой в цитированных выше работах	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
доказательству теоремы мы предпошлём постановку другой задачи	preceding the proof we first set up another problem
достроить доказательство	complete the proof
ещё одно доказательство	this is a further proof of
её теоремы доказательство может быть найдено в	its proof can be found in (any book on homotopy theory)
её теоремы доказательство может быть найдено в	its proof can be found in (any book on homotopy theory; ...)
забежать вперёд в доказательстве	get ahead of the proof
завершить доказательство	to conclude the proof (to conclude the proof of the theorem, it remains to note that the above expression is negative)
завершить доказательство	complete the proof (the above equality completes the proof of lemma 1)
заканчивать доказательство	complete the proof (This completes the proof of the first part of the theorem; and the second is a triviality.)
и окончательно, A > B, что и заканчивает доказательство Теоремы 1	... and finally A > B, which finishes the proof of Theorem 1
идея доказательства	let us now give an idea on how to prove Theorems 2 and 3
индуктивное доказательство	inductive evidence
индуктивное доказательство	inductive demonstration
индуктивное доказательство	inductive argument
интуитивное доказательство	intuitive proof
как сама теорема, так и техника её доказательства дают глубокое понимание	the theorem and its proof techniques give a lot of insight (into the way multilinear operators should be analyzed)
классическое доказательство	classical proof
комбинаторное доказательство	combinatorial proof
конечное доказательство	finite proof
кончать доказательство	complete the proof
косвенное доказательство	apagogic proof
косвенное доказательство	indirect proof
логика доказательства	logic of evidence
логическое доказательство	logical proof
логическое доказательство	logical evidence
логическое доказательство	logical demonstration
ложное доказательство из-за двусмысленности	ambiguity
математическое доказательство	mathematical proof
математическое доказательство	mathematical demonstration
метаматематическое доказательство	metamathematical argument
метод доказательства	proof technique
метод доказательства	proof method
метод доказательства	proof procedure
метод доказательства	method of proof
метод доказательства является аналогичным методу, использованному	the proof method is analogous to the method used by
метод логического доказательства	case method
механическое доказательство	mechanical proof
мнимое доказательство	apparent argument
модель доказательства	proof pattern
мы начнём доказательство с леммы	we begin the proof with a lemma
мы не приводим это доказательство из-за его громоздкости	we do not cite the proof because of its awkwardness
мы несколько упростим доказательство	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
на этом доказательство заканчивается	this completes the proof
набросок доказательства	proof in outline
набросок доказательства	abridged proof
набросок доказательства	sketch of proof
набросок доказательства	outline of proof
наглядное доказательство	visual proof
накопить ряд убедительных доказательств того, что	we have amassed a convincing body of evidence that
напомним, что утверждения, которые принимаются без доказательства, называются аксиомами	recall that statements that are accepted without proof are called postulates
наше доказательство, в основном, повторяет доказательство Леммы 2 из 1	our proof follows along the lines of Lemma 2 of 1
наше доказательство Теоремы 2 близко следует рассуждениям из 2	our proof of Theorem 2 follows the arguments in 2 closely
независимое доказательство	independent evidence
необходимо построить доказательства	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
необходимое средство доказательства	necessary proof process (ssn)
необходимые средства доказательства	necessary proof processes (ssn)
неопровержимое доказательство	unassailable proof
неоспоримое доказательство того, что	this is decisive evidence that
неполное доказательство	incomplete proof
непрямое доказательство	apagage
непрямое доказательство	indirect evidence (косвенное)
непрямое доказательство	apagoge
несводимое доказательство	irreducible proof
несомненное доказательство	sure evidence
неуязвимое доказательство	perfect proof
неформальное доказательство	informal proof
неэлементарное доказательство	nonelementary proof
нить доказательства	proof thread
обоснованное доказательство	valid demonstration
общее доказательство	general proof
основная часть доказательства	the basic point of the proof is the inequality (3.3)
основной пункт доказательства	the basic point of the proof is the inequality (3.6)
основной пункт доказательства	the basic point of the proof is the inequality (3.2)
основным средством в доказательстве	the key tools in the proof of Theorem 1 are asymptotic existence theorems 3
остальная часть доказательства проводится уже более или менее просто	the rest of the proof is now more or less straightforward
остальная часть доказательства уже более-менее очевидна	the rest of the proof is now more or less straightforward
относительное доказательство	relative proof
очевидно, что этот пункт доказательства будет зависеть от нашего определения A	it is plain, that this step will depend upon our definition of A
ошибочное доказательство	fallacious proof
подмена доказательства	wrong arguments
подробное доказательство	detailed proof
подход к доказательству	treatment (напр., аксиоматический ssn)
полное доказательство	complete proof
полное доказательство ещё не найдено	complete proof is not yet at hand
правило доказательства	rule of proof
правило, требующее доказательства	sum
правило условного доказательства	RCP (rule of conditional proof)
предикатное доказательство	predicative proof
предполагаемое доказательство	alleged proof
представлять доказательства	bring forward evidence
прежде, чем продолжить доказательство, что ...	before we go on to prove that
при доказательстве	the estimate we obtained in the course of proof seems to be of independent interest
при доказательстве	in proving theorem 1, we showed first that
при доказательстве данной теоремы ...	in proving this theorem one considers a family g (x, i) of admissible curves of the form
приводить доказательство того, что	cite evidence that
приводиться без вывода и доказательства	be presented without derivation or proof
пример, требующий доказательства	sum
принимать без доказательства	take for granted
принятый без доказательства	hypothetical
принять без доказательства	take for granted (за аксиому)
принять без доказательства	take for granted (за аксиому)
проложить путь для доказательства	pave the way for proving (A couple of more lemmas help to pave the way for proving the third part of Theorem D)
процесс доказательства теоремы	theorem-proving process
разобьём доказательство на два шага	we shall divide the proof into two steps
регрессивное доказательство	regressive proof
регулярное доказательство	regular demonstration
сейчас мы приведём некоторые первоначальные сведения, необходимые для доказательства теоремы	first we will give some preliminaries for the proof of the theorem
система доказательства теоремы	theorem-proving system
служить доказательством	prove
содержательное доказательство	informal demonstration
специальное доказательство	ad hoc proof
средство доказательства	proof process (ssn)
стадия доказательства	demonstrative phase
стратегия доказательства	strategy of proof
строгое доказательство	strong evidence
строгое доказательство	strict demonstration
строящееся доказательство	this proof
схема доказательства	demonstration scheme
схема доказательства	scheme of proof
схема доказательства	proof scheme
считать не требующим доказательства	take for granted
считаться доказательством того, что	be taken as evidence that
таблица доказательства	proof table
теорема, не требующая доказательств	porime
теорема о доказательствах непротиворечивости	theorem on consistency proofs
теоретическое доказательство	theoretical demonstration
теория доказательства	theory of proof
техника доказательства теоремы 2 основана на аналогичных принципах ...	the technique of the proof of Theorem 2 shares much the same principles with the above mentioned result due to Bauer 3
техническая, но существенная роль в доказательстве	such an assumption plays a technical but essential role in the proof
топологическое доказательство	topological proof
точное доказательство	precise proof
точное доказательство	exact proof
убедительно подтверждённый документальными доказательствами	well-documented
убедительное доказательство	a convincing proof of
убедительное доказательство	a firm evidence of
условное доказательство	conditional proof
утилита автоматического доказательства теорем	SMT solver (Alex_Odeychuk)
финитное доказательство	finitary proof
формальное доказательство	formal validation
формальное доказательство	formal demonstration
формальное доказательство	formal proof
циклическое доказательство	cyclic proof
частичное доказательство	partial proof
частное доказательство	subproof
чисто алгебраическое доказательство	purely algebraic proof
что заканчивает доказательство	... and finally A > B, which finishes the proof (of Theorem 1)
что и завершает доказательство теоремы	which completes finishes the proof of Theorem
что и завершает наше доказательство	this completes our proof
что и заканчивает доказательство	Q.E.D.
что и заканчивает доказательство теоремы	Q.E.D.
что и заканчивает доказательство теоремы	the proof of the theorem is finished
что и заканчивает доказательство теоремы	this proves the theorem
чтобы завершить доказательство, мы	finish the proof, we have then to compare x with y
чтобы завершить доказательство, мы	finish the proof, we have then to compare x with y
чтобы завершить доказательство, мы выпишем ...	for the remainder of the proof we write
чтобы приступить к доказательству, мы используем ...	towards the proof of (Theorem D we use the proposition to see that a=0)
эвристика доказательства теоремы	theorem-proving heuristics
эвристическое доказательство	heuristic proof
элементарное доказательство	elementary proof
эскиз доказательства	sketch of the proof (LOlga)
эскиз доказательства	outline of the proof (LOlga)
эскиз доказательства	proof sketch (LOlga)
эти три леммы и образуют доказательство теоремы 2	the three lemmas constitute the proof of Theorem 2
это даёт убедительное доказательство того, что	it is good evidence for
это даёт убедительное доказательство того, что	this provides strong evidence that
это даёт убедительное доказательство того, что	this is strong proof that
это доказательство позднее было переоткрыто многими авторами	the proof has been rediscovered by many later writers
это доказательство совпадает с рассуждениями для предыдущего результата	the demonstration is the same as for the preceding result
это завершает доказательство	this completes the proof
это завершает доказательство теоремы	this concludes the proof of theorem
это совершенно полное доказательство факта, что	this is a perfect proof of
эффективное доказательство	effective proof
являться доказательством	evidence
являться доказательством	prove
являться доказательством	serve as evidence
являться доказательством того, что	be proof that
являться убедительным доказательством	provide a convincing demonstration of
являться убедительным доказательством	furnish convincing proof that
являться убедительным доказательством	prove conclusively
яркое доказательство	brilliant proof