-
41 предположение
(= гипотеза) supposition, hypothesis, suggestion, assumption, premise, conjecture, presumption, guess, proposal• Будем отыскивать противоречие с предположением, что... - We shall seek a contradiction to the assumption that...• Было сделано предположение, что... - It was assumed that...• В (1) неявно принимается предположение, что... - Implicit in (1) is the assumption that...• В данном параграфе делаются следующие предположения:... - In this section the following assumptions are made: (i)...• В данном подходе имеется неявное предположение, что... - Implicit in this viewpoint is the assumption that...• В этой модели делается неявное предположение, что... - Implicit in this model is the assumption that...• Возможно, это разумное предположение, что... - It is probably a reasonable assumption that...• Все эти исследования основываются на одном и том же предположении. - All these studies rest on the same assumption.• Данное доказательство существенно опирается на наше предположение о том, что... - The proof rests fundamentally on our assumption that...• Данный результат объясняется и качественно, и количественно предположением, что... - This result is both qualitatively and quantitatively explained by the assumption that...• Джонс делает предположение, что... - Jones makes the assumption that...• До сих пор мы не делали предположений относительно... - So far we have made no assumptions regarding...• Другое рабочее предположение состоит в том, что... - Another working assumption is that...• Если это предположение неверно, то... - If this assumption is wrong, then...• Затем, согласно предположению,... - Then, by hypothesis,...• Здесь мы уже сделали два важных предположения. - Here we have made two important assumptions.• Имеется несколько причин, по. которым в этом предположении следует усомниться. - There are several reasons why this assumption should be questioned.• Интересно предположение, действительно ли... - It is interesting to speculate whether...• Исходя из ошибочного предположения, что... - On the mistaken assumption that...• Каждая из этих теорий включает в себя предположения относительно... - Each of these theories involves assumptions about...• Можно было бы попытаться объяснить этот эффект предположением, что... - One could try to explain this effect by assuming that...• Мы будем придерживаться нашего начального предположения, что... - We shall maintain our initial assumption that...• Мы делаем обычное предположение, что... - We make the usual assumption that...• Мы делаем это в предположении, что... - We do this on the assumption that...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы исходим из предположения... - We proceed from the assumption that...; We operate on the premise that...• Наиболее просто это было объяснено предположением, что... - This was most simply explained by the supposition that...• Напоминаем, что по отношению... не было введено никаких предположений. - Recall that no assumptions have been made with regard to...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Нашим начальным предположением было то, что... - Our initial assumption was that...• Необходимо сделать некоторое предположение относительно... - It is necessary to make some assumption regarding...• Неявно в этом предположении содержится... - Implicit in this assumption is that...• Обоснование данного предположения затрагивает теорию... - The justification of this assumption involves the theory of...• Обоснование для этих предположений находится единственно в... - The justification of these assumptions lies solely in...• Однако мы никогда не вводили никаких предположений относительно... - At no time, however, have we made any assumptions regarding...• Однако не менее важным является предположение, что... - Equally important, however, is the assumption that...• Они были выведены в предположении, что... - These were derived on the assumption that...• Они ввели простое предположение, что... - They made the simple assumption that...• Относительно... здесь не делается никаких предположений. - No assumption is made here about...• Предыдущее уравнение базируется на предположении... - The above equation is based on the assumption that...• Предыдущие рассуждения базируются на предположении... - The foregoing arguments rely on the assumption that...• Предыдущие результаты были получены в рамках предположения... - The above results have been obtained under the assumption of...• При более слабых предположениях о регулярности начальных данных... - Under weaker regularity assumptions on initial data...• При этих предположениях относительно к мы получаем... - Under the assumptions made on к, we get...• Простейшее разумное предположение состоит в том, что... - The simplest reasonable assumption is that...• Распространенной ошибкой является предположение, что... - It is a common error to suppose that...• Следовательно, мы выдвигаем предположение, что... - We therefore conjecture that...• Справедливость данного предположения будет рассмотрена позднее, когда... - The validity of this assumption will be considered further when...• Теперь мы исключим предположение, что... - We now remove the assumption that...• Теперь это предположение доказано, так как... - This assumption has now been justified, since...• Тест основывается на предположении о том, что... - The test rests on the assumption that...• Хотя такое предположение кажется правдоподобным,... - Although such an assumption seems plausible,...• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...• Чтобы избежать неуместных усложнений, мы сделаем упрощающее предположение, что... - То avoid undue complication we make the simplifying assumption that...• Эти результаты согласуются с предположением, что... - These results are consistent with the assumption that...• Это очень грубое предположение влечет за собой... - This very crude assumption yields...• Это предположение игнорирует тот факт, что... - The assumption ignores the fact that...• Это предположение согласуется с... - The assumption is consistent with...• Это противоречит предположению, что... - This is contrary to the hypothesis that...• Это противоречит широко используемому предположению, что... - This is contrary to the widely used assumption that...• Это решение основано/основывается на предположении, что... - This solution is based on the assumption that...• Это является следствием предположения относительно существования... - This is a consequence of assuming the existence of...• Этот результат не зависит ни от каких предположений относительно... - This result is independent of any assumption about... -
42 проводить
(= провести) lead, carry on, carry out, conduct• Большая часть исследовательской работы была уже проведена. - Much research work has been accomplished.• Давайте проведем здесь данную процедуру для частного случая... - Let us carry out this procedure here for the special case of...• Данное рассуждение можно провести в обратном порядке (= Данное рассуждение обратимо), следовательно... - The argument is reversible so that...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Однако следует попробовать провести такой анализ с целью... - But such an analysis has to be attempted in order to...• Подобное рассуждение могло бы быть проведено с использованием... - A similar argument may be made using...• Поучительно провести детальное решение... - It is instructive to carry out in detail the solution of...• Существуют несколько способов как провести введение в теорию... - There are several ways of introducing the theory of...• Удовлетворительный анализ был проведен на образцах, имеющих... - Satisfactory analysis has been performed on samples having...• Хотя мы и не проводили многочисленные эксперименты, тем не менее, мы ожидаем, что... - Although no extensive experiments have been carried out, we expect that...• Часто удобно проводить последнюю процедуру... - It is often convenient to carry out the latter process by... -
43 сложный
complicated, complex, compound, composite, involved• ... сложная область, достижение мастерства в которой занимает долгие годы. -... a difficult subject that takes many years to master.• Более сложный пример доставляется (из рассмотрения и т. п.)... - A more complex example is afforded by...• Бывают сложные ситуации, когда интуиция обманывается. - There are complex situations that baffle the intuition.• В более сложных системах необходимо... - In more complicated systems, it is necessary to...• В качестве несколько более сложного примера мы докажем, что... - As a slightly harder example we prove that...• Возможна также (и) более сложная ситуация. - A more complicated situation is also possible.• Мы не будем входить в рассмотрение этого сложного вопроса. -We shall not enter into this complicated question.• Наше задание становится более сложным в случае... - The task at hand is more complicated in the case of...• Не менее сложным является поведение... - Not less intricate is the behavior of...• Очевидно, что это более сложная проблема, чем проблема обычного нахождения (чего-л). - This is obviously a more complicated problem than the usual determination of...• Подобные методы могут использоваться в более сложных ситуациях. - Similar methods may be employed in more complicated cases.• Это действительно сложный вопрос. - This is indeed a deep question.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это сложная теория, она трудна для понимания. - This theory is difficult to comprehend in simple terms. -
44 строгий
(см. также формальный, верный) rigorous, strict, close, rigid, severe• Не вдаваясь в строгие рассмотрения, обсудим вкратце... - Without giving a rigorous treatment we briefly discuss...• Не делая попыток более строгого обсуждения, мы просто заметим, что... - Without attempting a more rigorous discussion, we merely note that...• Относительно строгого вывода соотношения (12) читатель должен обратиться к работе Смита [1]. - For a rigorous derivation of (12) the reader is referred to Smith [1].• Приведем строгое доказательство. - The formal proof is as follows.• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Строгая теория должна принимать во внимание (эффект и т. п.). - A comprehensive theory must account for...• Строгое обсуждение будет дано в главе 2. - A rigorous discussion will be given in Chapter 2.• Строгое рассмотрение задачи показывает, что... - A rigorous treatment of the problem shows that...• Теперь мы построим строгую версию предыдущего рассуждения. - We shall now construct a rigorous version of the above argument.• Этим устанавливается довольно строгая форма (чего-л). - This establishes a rather strong form of...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to... -
45 существенно
(= особенно) essentially, substantially, significantly, materially, tangibly• В данном приближенном методе существенно... - In this approximation procedure it is essential to...• В этом случае число действий могло бы быть существенно сокращено (путем и т. п.)... - The amount of manipulation in this case could have been significantly reduced by...• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для нашей цели совершенно не существенно, как выбирается значение х. - For our present purpose it does not matter how x is chosen.• Его данные существенно отличались от результатов Смита [1]. - His findings were at variance with those of Smith [1].• Наш метод будет весьма существенно отличаться от данного. - Our procedure will be quite different from this.• Наши результаты существенно отличаются от результатов Смита [1]. - Our results barely differ from those of Smith [1].• Несомненно, существенно, что... - It is by no means essential that...• Последний результат существенно отличается от того, что мы ожидали. - The latter result differs considerably from what we expected.• Развивая данную теорию, мы будем существенно использовать... - In developing the theory we shall make considerable use of...• Существенно более важным случаем является тот, в котором... — By far the most important case is that in which...• Существенно более разумным подходом является... - A considerably more clever approach is to...• Существенно более серьезный недостаток возникает при... - A much more serious defect is encountered with...• Существенно меньше известно о... - Far less is known about...• Существенно, что мы определяем, действительно ли... - It is essential that we determine whether...• Хотя... существенно различаются и по своему строению, и по назначению, их можно классифицировать согласно... - Although... vary considerably in structure and function, they can be classified according to...• Экспериментальные данные существенно поддерживают эти заключения. - Experimental evidence strongly supports these conclusions.• Это существенно для наших целей. - This is essential for our purposes.• Это существенно контрастирует с... - This is in marked contrast to...• Это существенно ограничивает пределы применимости... - This essentially limits the usefulness of...• Это существенно отличается от конечномерного случая, где... - This is in marked contrast to the finite dimensional case, where...• Это существенно отличается от... - This is considerably different from...• Это существенно (= хорошо) подтверждается результатами... - This is strongly supported by the results of... -
46 трудный
difficult, hard•... является далеко не таким трудным, как предполагалось первоначально. -... is much less troublesome than one would at first suppose.• Более трудным и тонким соотношением является... - A more difficult and subtle relation is...• В этой главе не делалось попыток обсудить очень трудную проблему... - In this chapter no attempt has been made to discuss the very difficult problem of...• Данное открытие было бы трудным, если вообще невозможным, до изобретения... - This discovery would have difficult, if not impossible, before the invention of...• Действительно, особенно трудным является... - In fact, it is particularly difficult to...• Его/ее точный смысл достаточно труден для понимания. - The precise meaning of this is rather difficult to grasp.• Известно, что эта задача является достаточно трудной, хотя... - This problem is known to be quite difficult, although...• Интересные, но трудные вопросы возникают, когда... - Interesting but difficult questions arise when...• Кажется довольно трудным определить... - It seems rather difficult to determine...• Мы стоим перед трудным выбором решения, как... - We were faced with a difficult choice in deciding how to...• Несколько более трудный пример предоставляется... - A more difficult example is provided by...• Обычно это трудная задача. - This is usually a tricky problem.• Обычно это трудный процесс. - This is usually a difficult operation.• Однако доказательство данной гипотезы трудное, потому что... - However, proof of this hypothesis is difficult because...• Проблема становится более трудной, когда... - The problem is more difficult when...• С этими уравнениями обращаться несколько труднее, поскольку... - These equations are somewhat more difficult to deal with because...• Строгий анализ становится значительно более трудным, когда... - A rigorous analysis becomes much more difficult when...• Так как эта задача трудна для аналитического решения,... - Since the problem is hard to solve analytically,...• Точное вычисление выражения (10) было бы трудным. - A precise evaluation of (10) would be difficult.• Эта задача особенно трудна в случае... - The problem is particularly severe in the case of...• Эта, казалось бы, трудная проблема оказывается относительно простой. - This seemingly difficult task turns out to be relatively simple.• Это делает трудным... - This makes it difficult to...• Это сложная теория, она трудна для понимания. - This theory is difficult to comprehend in simple terms. -
47 выдвигать
выдвинуть (вн.)1. pull out (d.), move out (d.); push (d.)выдвигать ящик — open a drawer
2. (предлагать, приводить и т. п.) advance (d.), put* / bring* forward (d.)выдвигать теорию — suggest / advance a theory
выдвигать доказательство, аргумент — adduce a proof, an argument
выдвигать условия — lay* down conditions
выдвигать вопрос — raise a question
выдвигать на первый план — put* in the forefront (d.)
выдвигать обвинение (против) — bring* an accusation, или prefer a charge (against)
3. (предлагать к избранию и т. п.) nominate (d.)выдвигать на должность — nominate to an office (d.)
выдвигать чью-л. кандидатуру — nominate smb. for election, put* forward smb.'s candidature, propose smb. as a candidate
4. ( на более ответственную работу) promote (d.)5. воен. push forward / out (d.) -
48 выдвигать
несов. - выдвига́ть, сов. - вы́двинуть; (вн.)1) (двигая, вытаскивать вперёд) pull out (d), move out (d); push (d)выдвига́ть я́щик — open a drawer
2) ( предлагать для обсуждения) advance (d), put / bring forward (d)выдвига́ть тео́рию — suggest / advance a theory
выдвига́ть доказа́тельство [аргуме́нт] — suggest / adduce a proof [an argument]
выдвига́ть усло́вия — lay down conditions
выдвига́ть вопро́с — raise a question
выдвига́ть на пе́рвый план — put (d) in the forefront
вы́двинуть на пере́дний план — push (d) into the foreground
выдвига́ть обвине́ние (про́тив) — press charges (against)
3) (предлагать к избранию, назначению) nominate (d)выдвига́ть на до́лжность — nominate to an office (d)
выдвига́ть чью-л кандидату́ру — nominate / propose smb (as a candidate)
выдвига́ть из свое́й среды́ — nominate smb from their own milieu ['mɪljɜː] / ranks
4) воен. push (d) forward / out -
49 строго
нареч. мат. rigorouslyСинонимический ряд:1. жесткий (прил.) железный; жесткий2. правильный (прил.) классический; правильный3. суровый (прил.) суровый4. требовательный (прил.) взыскательный; требовательныйАнтонимический ряд: -
50 строгий
1. rigorous2. strict
См. также в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
proof — Informally, a procedure that brings conviction. More formally, a deductively valid argument starting from true premises, that yields the conclusion. Most formally, in proof theory, a proof is a sequence of formulae of which each member is either… … Philosophy dictionary
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
proof´er — proof «proof», noun, adjective, verb. –n. 1. a way or means of showing beyond doubt the truth of something: »Is what you say a guess, or have you proof? SYNONYM(S): See syn. under evidence. (Cf. ↑evidence) 2. the establishment of the truth of… … Useful english dictionary
Theory (brand) — theory (marketed in lower case letters) is a New York based men s and women s contemporary better sportswear fashion label known for its clean line and luxuriously simple clothes and accessories. theory merchandise is sold through signature… … Wikipedia
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary
