Перевод: с немецкого на все языки

доказательство по индукции

См. также в других словарях:

  • ДОКАЗАТЕЛЬСТВО МЕТОДОМ ИНДУКЦИИ — (proof by induction) Метод, доказывающий существование некоего свойства у членов последовательности. Сначала проверяется в лоб наличие его у нескольких первых, затем высказывается предположение, что им обладают все – до N го включительно и… …   Экономический словарь

  • Доказательство одноцветности всех лошадей — Доказательство одноцветности всех лошадей  ошибочное доказательство того, что все лошади одного цвета, придуманное венгерским математиком Пойа[1]. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании… …   Википедия

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • Метод математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …   Википедия

  • Принцип математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …   Википедия

  • КОСМОЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО БЫТИЯ БОГА — своеобразная рационализация основного догмата авраамических религий о Боге как созидателе мирового порядка (космоса), отвечающая Книге Бытия из Ветхого завета. Оно называется космологическим (но не просто логическим ) потому, что апеллирует к… …   Современный философский словарь

  • Математическая индукция — Математическая индукция  один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров …   Википедия

  • Теорема Бертрана о выборах — В комбинаторике, Теорема Бертрана о выборах, названая в честь Жозефа Бертрана, который опубликовал ее в 1887 году  утверждение, доказывающее ответ на вопрос «Какова вероятность того, что на выборах с участием двух кандидатов, в которых… …   Википедия

  • Неравенство Бернулли — утверждает: если , то для всех Доказательство Доказательство неравенства проводится методом математической индукции по n. При n = 0 неравенство, очевидно, верно. Допустим, что оно верно для n, докажем его вернос …   Википедия

  • Доказательства вообще — Доказательство (Demonstratio) есть выведение истинности какого либо положения (на основании силлогистических законов) из других положений. Доказывать можно лишь положения (понятия могут быть определяемы, факты объясняемы и показываемы), и притом… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия

Книги

Другие книги по запросу «доказательство по индукции» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»