-
41 raisonnement par récurrence
Dictionnaire polytechnique Français-Russe > raisonnement par récurrence
-
42 Induktionsbeweis
Deutsch-Russische Wörterbuch polytechnischen > Induktionsbeweis
-
43 démonstration par récurrence
сущ.Французско-русский универсальный словарь > démonstration par récurrence
-
44 raisonnement par récurrence
сущ.Французско-русский универсальный словарь > raisonnement par récurrence
-
45 inductive proof
-
46 индукция
induction, displacement• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Используя эти соотношения, мы легко можем показать по индукции, что... - From these relations we can easily show by induction that...• Методом математической индукции доказывается, что... - It follows by mathematical induction that...• Методом математической индукции этот результат может быть распространен (= обобщен) на... - This result can be extended, by mathematical induction, to...• Продолжая по индукции, мы получаем... - Proceeding by induction, we obtain...• Следовательно, по индукции мы видим, что... - Hence we see by induction that... -
47 математический
mathematical• Данное доказательство использует метод математической индукции по га. - The proof is by induction on n.• Методом математической индукции доказывается, что... - It follows by mathematical induction that...• Методом математической индукции этот результат может быть распространен (= обобщен) на... - This result can be extended, by mathematical induction, to...• Чтобы не усложнять математическую часть, часто удобно... - То keep the mathematics simple it is often convenient to...• Этот подход предлагает существенные математические преимущества, потому что... - This approach offers considerable mathematical advantages, because... -
48 Induktionsbeweis
m лог.индуктивное доказательство, доказательство по методу индукции -
49 показать
(= показывать) show, register, read, exhibit, reveal, depict, display, illustrate, indicate• Анализ этих уравнений показывает, что... - Inspection of these equations shows that...• Более совершенным рассуждением можно показать, что... - By a more refined argument it can be shown that...• Более того, данное обсуждение показывает, что... - The discussion shows, moreover, that...• Более точное вычисление показывает, что... - A more exact calculation shows that...• Быстро покажем, что... - It will be shown in a moment that...• В главе 2 мы вернемся к этому вопросу и попытаемся показать, что... - In Chapter 2 we shall return to this question and try to show that...• В предыдущем параграфе мы уже показали, как исследовать... - In the preceding section we have shown how to investigate...• Важно, что исследование также показывает, что... - Importantly, the study also shows that...• Нам остается лишь показать, что... - All that remains is to show that...• Вычисления показали, что... - Computations have shown that...• Далее будет показано, что... - It will be shown in the sequel that...• Далее можно показать, что... - It can further be shown that...• Далее, легко показать, что... - It is easy to show, furthermore, that...• Далее, мы показываем, что существуют функции, нарушающие это неравенство при к > 2... - Next, we show that there are functions which violate this inequality for к > 2.• Дальнейшее исследование, однако, показало, что... - Further investigation, however, has shown that...• Дальнейшее применение соотношения (1) показывает, что... - Further application of (1) shows that...• Данная формулировка показывает сразу несколько аспектов. - The formulation reveals several things.• Данные примеры должны показать, что... - These examples should make it clear that...• Данный подход показывает, что... - The present approach shows that...• Данный результат следует немедленно, если мы можем показать, что... - The result will follow immediately if we can show that...• Действительно, в этом случае мы могли бы показать, что... - Indeed, in this case, we may show that...• Довольно громоздкое вычисление показывает, что... - A somewhat lengthy computation shows that...• Еще более удивительным является пример, найденный Смитом [11], который показывает, что... - Even more startling is an example due to Smith [11], which shows that...• Еще раз, это показывает зависимость... - Again, this demonstrates the dependence of...• Здесь мы можем только показать, что... - We can show here only that...• Изучение... показывает, что... - Studies of... indicate that...• Используя определения F и G, легко показать, что... - It is a simple matter, using the definitions of F and G, to show that...• Используя эти соотношения, мы легко можем показать по индукции, что... - From these relations we can easily show by induction that...• Исследование уравнения (4) показывает, что... - An examination of (4) shows that...• Исследования показали важность... - The studies demonstrated the importance of...• Видимо, все это показывает, что... - All this seems to show that...• Как легко показать, используя..., этим можно полностью пренебречь. - It is utterly negligible, as we can easily show by...• Как показывает следующий пример, это не обязательно выполняется. - This is not necessarily the case, as the following example illustrates.• Как приложение данного результата, мы покажем, что... - As an application of this result, we show that...• Количественный анализ этих результатов показывает, что... - A quantitative analysis of these results shows that...• Легко показать, что... - It is easily shown that...• Легкое изменение приведенного выше рассуждения показывает, что... - A slight modification of the above reasoning shows that...• Метод анализа, намеченный в предыдущем абзаце, показывает... - The method of analysis outlined in the last paragraph shows...• Многие годы экспериментов показали, что... - Many years of experimentation have shown that...• Можно показать, что в целом это заключение является справедливым. - It can be shown that this conclusion is generally valid.• Можно показать, что они являются как достаточными, так и необходимыми. - It may be shown that they are sufficient as well as necessary.• Можно показать, что это эквивалентно условию... - This can be shown to be equivalent to the condition that...• Мы должны показать, что... - We have to show that...• Мы можем показать это на простом примере. - We can demonstrate this with a simple example.• Мы оставляем для самостоятельного решения задачу показать, что... - We leave it as a problem to show that...• Мы покажем теперь, что это не справедливо. - We shall now show that this is not the case.• Мы хотим явно показать, что... - We wish to show explicitly that...• На самом деле мы лишь показали, что... - We have in fact only shown that...• На самом деле мы можем показать, что... - We can show, in fact, that...• На самом деле, его исследование, похоже, показывает, что... - Actually his investigation seemed to show that...• Нам остается показать, что... - We need only to show that...; It remains for us to show that...• Намеченные выше вычисления показывают, что... - The calculations outlined above show that...• Например, мы покажем, что... - We shall show, for example, that...• Например, не слишком трудно показать, что... - For example, it is not too difficult to show that...• Например, экспериментально было показано, что... - For example, it has been shown experimentally that...• Наш простой пример показывает, что... - Our simple example demonstrates that...• Наши цифры показывают, что... - Our figures show that...• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Небольшое размышление показывает, что... - A moment's reflection will indicate that...• Недавние эксперименты показали, что... - Recent experiments have shown that...• Недавняя работа показала, что... - Recent work has shown that...• Недолгое размышление покажет, что... - A moment's thought will show that...• Несколько иное рассуждение показывает, что... - A slightly different argument shows that...• Общие наблюдения показывают... - It is a matter of common observation that...• Один тип... показан на рис. 2. - One type of... is shown in Figure 2.• Однако, мы хотим показать, что... - We wish to show, however, that...• Однако мы уже показали, что... - But we have already shown that...• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Он показал существование глобального по времени решения. - Не showed existence of a global-in-time weak solution.• Описанные здесь исследования показывают, что... - The studies described here show that...• Исторический опыт показывает, что... - Historical experience shows that...• Остается показать, что... - It remains to be shown that...• Оценка показывает, что... - It is estimated that...• Подобное же рассуждение показывает нам... - A similar argument will show that...• Подобные вычисления показывают, что... - Similar computations reveal that...• Подобным образом можно показать, что... - In like manner it can be shown that...• Подробный вывод показал бы, что... - A detailed derivation would show that...• Подстановка этой величины в уравнение (1) показывает, что... - Insertion of this value into equation (1) shows that...• Полная теория показывает, что... - Detailed theory shows that...• Помимо всего, нам необходимо показать, что... - Above all, we need to show that...• Помимо прочих следствий, данный результат показывает, что... - Among other things, this result shows that...• Последнее разложение показывает, что... - The latter expansion shows that...• Это может быть трудно показать на практике. - In practice this may be difficult to demonstrate.• Предварительные результаты показывают, что... - The preliminary results suggest that...• Пренебрегая этими эффектами, легко показать, что... - Neglecting these effects it is easy to show that...• Приведенный выше пример 2 показывает, что... - Example 2 above shows that...• Придерживаясь тех же обозначений, что и в первом параграфе, мы покажем, что... - With the same notation as in Section 1, we shall show that...• Применение данного метода показывает... - An application of this process shows...• Продолжая действовать так же, как в параграфе 1, мы можем показать, что... - Proceeding as in Section 1, we may show that...• Ранее мы показывали, что... - Earlier we showed that...• Рассуждение, приведенное в конце последней главы, показывает, что... - The argument at the end of the last chapter shows that...• Рассуждения Гильберта относительно этого уравнения показывают, что... - Hilbert's discussion of this equation shows that...• Реальные вычисления, однако, показывают, что... - Actual computations show, however, that...• Результат показан ниже. - The result is recorded below.• С другой стороны, эксперименты показывают, что... - On the other hand, experiments show that...• Следующая серия примеров (= иллюстраций) показывает... - The following series of illustrations shows...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующие задачи помогут показать, что важность... - The following problems will help show that importance of...• Следующие примеры покажут важность данного определения. - Examples will bring out the significance of this definition.• Следующий пример показывает, что... - The following example shows that...• Следующим шагом мы покажем, что... - Next it will be shown that...• Совершенно аналогичным образом можно показать, что... - It can be shown by an exactly similar process that...• Сравнение с точным результатом (2) показывает, что... - A comparison with the exact result (2) shows that...• Ссылка на уравнение (6) показывает, что... - Reference to equation (6) shows that...• Стандартные вычисления показывают, что... - A routine calculation shows that...• Таблицы данных показывают, что... - The tables show that...• Теоретические соображения показывают, что... - Theoretical considerations show that...• Теперь мы покажем, что допустимо (предполагать и т. п.)... - We shall now show that it is permissible to...• Термометр показывает 20 градусов ниже нуля. - The thermometer shows/reads 20 degrees below zero.• Типичный... показан на рис. 2. - A typical... is shown in Figure 2.• То же самое рассуждение показывает, что... - The same reasoning shows that...• То же самое рассуждение четко показывает, что... - The same reasoning evidently shows that...• То же самое рассуждение, что и выше, показывает, что... - The same argument as above shows that...• То, что мы показали, это... - What we have shown is that...• Только что проделанные вычисления показывают нам, что... - The result just calculated shows us that...• Рис. 2 показывает результаты, полученные... - Fig. 2 shows results obtained for Equation (2.8).• Цель заключается в том, чтобы показать, что... - The aim is to show that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы показать, что обратное несправедливо, мы должны... - То show that the converse is false, we must...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы это доказать, нам остается лишь показать, что... - То prove this we need only show that...• Эксперимент подтверждает это, однако также(= одновременно) показывает, что... - Experiment confirms this but also shows that...• Эксперимент показывает, что... - Experiment shows that...; Experiment tells us that...• Эксперименты с полупроводниками показывают, что... - Experiments with semiconductors show that...• Эти и многие другие примеры показывают, что... - These and many other examples show that...• Эти равенства позволяют нам показать, что... - These identities enable us to show that...• Эти рассуждения показывают нам, что... - These considerations show us that...• Эти результаты ясно показывают, что... - These results clearly show that...• Это доказательство легко переделывается для того, чтобы показать, что... - The proof is easily adapted to show that...• Это могло бы быть легко показано при использовании условия... - This may be shown readily by employing the condition that...• Это можно показать двумя методами. - This can be seen in two ways.• Это показывает (одно) важное ограничение (чего-л). - This demonstrates an important limitation of...• Это показывает еще раз, что... - This shows once more that...• Это показывает, что невозможно... - This shows that it is impossible to...• Это простое соотношение немедленно показывает, что... - This simple relation shows immediately that...• Это соотношение также показывает, что... - This relation also shows that...• Это ясно показано на рис. 1, которая представляет результаты (чего-л). - This is clearly demonstrated in Figure 1 which shows the results of...• Этот пример показывает, что может быть необходимым... - This example shows that it may be necessary to...• Этот рисунок четко показывает принципиальные различия между... - This figure clearly illustrates the basic differences between...• Этот эффект будет обсуждаться в главе 2, где будет показано, что... - This effect will be discussed in Chapter 2, where it will be shown that... -
50 proof by perfect induction
Универсальный англо-русский словарь > proof by perfect induction
-
51 использовать
(= воспользоваться, применять, см. также использоваться) make use of, exploit, utilize, use, employ• Альтернативный подход использует такие понятия, как... - The alternative approach uses notions such as...• Безусловно это можно использовать лишь в случае, если... - Of course this applies only if...• Более успешный подход заключался в том, чтобы использовать... - A more successful approach has been to use...• Будет полезно использовать условия, при которых... - It will be useful to explore the circumstances under which...• В данном случае можно использовать другой подход. - In this case a different approach can be used.• В обозначениях, которые мы теперь используем, это означает, что... - In our present notation this means that...• В следующем примере мы используем этот метод, чтобы определить... - In the following examples we use this method to determine...• Давайте использовать это решение, чтобы получить... - Let us use this solution to obtain...• Далее мы не будем это использовать. - We shall make no further use of this.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данные результаты могут быть использованы для проверки численного решения. - These results provide a useful check on numerical solutions.• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Для удобства мы будем часто использовать более простое обозначение... - For convenience, we will often use the simpler notation...• Если мы используем результат (7), то видим, что... - If we make use of the result (7) we see that...• Желая использовать соотношение (14), мы заметим, что... - Wishing to exploit (14), we note that...• Заметьте, что мы использовали (здесь) только... - Note that we have only used...• Иногда бывает удобно использовать соотношения вида... - It is sometimes convenient to use relations of the form...• Можно использовать любое выражение в зависимости от... - Either expression can be used, depending on whether...• Мы будем использовать это решение, чтобы построить... - We shall use this solution to construct...• Мы будем очень часто использовать... - Extensive use will be made of...• Мы хотим использовать данную тестовую систему, чтобы определить... - We wish to use this test system to determine...• Мы использовали это в качестве отправного пункта нашего исследования. - We have taken this as a starting point for our investigation.• Мы используем обычные договоренности о... - We make use of common conventions on...• Мы используем эти факты несколько позднее. - We shall exploit these facts at a later stage. '• Мы используем этот результат (в, для)... - We shall apply this result to...• Мы используем этот факт позже (= в дальнейшем). - We shall make use of this fact later.• Мы можем использовать преимущество, предоставляемое этим фактом, чтобы... - We can take advantage of this fact to...• Мы можем использовать эти же свойства, чтобы определить... - We can use these same properties to define...• Мы можем использовать этот результат, чтобы определить (= ввести)... - We can use this result to define...• Мы можем также использовать здесь концепцию... - We may also apply the concept of...• Мы продолжим использовать... - We shall continue to use...• Мы также используем (благоприятную) возможность (поблагодарить, отметить и т. п.) (= Пользуясь возможностью, мы благодарим)... - We also take the opportunity to...• Мы уже многократно использовали (формулу, метод и т. п.)... - We have made extensive use of...• Мы часто используем обозначения а, аr для... - We frequently use a, аr to denote...• Некоторые авторы предпочли использовать... - Some authors have preferred to use...• Одна элегантная версия данного метода использует... - An elegant version of this method employs...• Однако здесь мы предпочитаем использовать... - Неге we prefer, however, to employ...• Однако некоторые авторы успешно использовали... - However, some authors have successfully used...• Однако разумно использовать тот факт, что... - But the sensible thing is to use the fact that...• Описанный выше метод может быть использован для построения... - The procedure described above can be used to construct...• Перед тем как начать использовать эту концепцию, честно предупредим читателя, что... - Before we make use of this concept, it is only fair to warn the reader that...• Перед тем как использовать его (метода) преимущество, мы должны... - Before taking advantage of this, we must...• Подобное рассуждение можно использовать, когда... - A similar argument can be used when...• При этих условиях мы по-прежнему можем использовать... - Under these circumstances we may still use...• Развивая данную теорию, мы будем существенно использовать... - In developing the theory we shall make considerable use of...• Разработчики использовали различные подходы для получения... - Designers have used various approaches in arriving at...• С этой целью мы будем использовать... - For this purpose, we shall use...• Теорема может быть использована для нахождения... - This theorem can be used to find all solutions of...• Теперь мы (полностью) готовы использовать методы, разработанные во втором параграфе. - We are now ready to use the methods of Section 2.• Читатель увидит, как можно использовать высшую математику в... - The reader will see how ordinary calculus can be applied to...• Чтобы..., мы используем качественные рассуждения. - We shall use a qualitative argument to...• Чтобы использовать компьютер в данном процессе... - То computerize the process,...• Чтобы проделать это, мы используем тот факт, что... - То do this, we make use of the fact that...• Эйнштейн использовал точно те же самые идеи в... - Einstein applied precisely the same ideas to...• Эта идея уже была использована Смитом [1], который предлагает... - This idea has been exploited by Smith [1], who suggests that...• Эта точка зрения была интенсивно использована Смитом [1]. - This viewpoint has been used extensively by Smith [1].• Эти результаты можно использовать, чтобы установить... - These results can be used to establish...• Это позволяет нам использовать (метод и т. п.)... - This allows us to make use of...• Это рассуждение подобно тому, что было использовано для установления... - The argument is similar to that used to establish...• Это свойство может быть использовано для вывода... - This property can be used to derive...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...• Этот результат можно использовать без опасений, только если... - It is safe to use this result only if...• Эту теорию можно использовать только тогда, когда... - This theory is applicable only when... -
52 συλλογισμος
ὅ1) подытоживание, подсчет Diod.2) рассуждение, размышление Plat., Arst.3) лог. силлогизм, умозаключение от общего к частномуἅπαντα πιστεύομεν ἢ διὰ συλλογισμοῦ ἢ ἐξ ἐπαγωγῆς Arst. — всякая наша уверенность покоится или на силлогизме или на индукции
4) лог. умозаключение ( вообще), доказательствоὁ ἐξ ἐπαγωγῆς σ. Arst. — индуктивное умозаключение
-
53 Induktionsbeweis
m доказательство с. по индукцииNeue große deutsch-russische Wörterbuch Polytechnic > Induktionsbeweis
Страницы
См. также в других словарях:
ДОКАЗАТЕЛЬСТВО МЕТОДОМ ИНДУКЦИИ — (proof by induction) Метод, доказывающий существование некоего свойства у членов последовательности. Сначала проверяется в лоб наличие его у нескольких первых, затем высказывается предположение, что им обладают все – до N го включительно и… … Экономический словарь
Доказательство одноцветности всех лошадей — Доказательство одноцветности всех лошадей ошибочное доказательство того, что все лошади одного цвета, придуманное венгерским математиком Пойа[1]. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании… … Википедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Метод математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… … Википедия
Принцип математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… … Википедия
КОСМОЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО БЫТИЯ БОГА — своеобразная рационализация основного догмата авраамических религий о Боге как созидателе мирового порядка (космоса), отвечающая Книге Бытия из Ветхого завета. Оно называется космологическим (но не просто логическим ) потому, что апеллирует к… … Современный философский словарь
Математическая индукция — Математическая индукция один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров … Википедия
Теорема Бертрана о выборах — В комбинаторике, Теорема Бертрана о выборах, названая в честь Жозефа Бертрана, который опубликовал ее в 1887 году утверждение, доказывающее ответ на вопрос «Какова вероятность того, что на выборах с участием двух кандидатов, в которых… … Википедия
Неравенство Бернулли — утверждает: если , то для всех Доказательство Доказательство неравенства проводится методом математической индукции по n. При n = 0 неравенство, очевидно, верно. Допустим, что оно верно для n, докажем его вернос … Википедия
Доказательства вообще — Доказательство (Demonstratio) есть выведение истинности какого либо положения (на основании силлогистических законов) из других положений. Доказывать можно лишь положения (понятия могут быть определяемы, факты объясняемы и показываемы), и притом… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
