Метод математической индукции — различия между версиями
Материал из ALL
(Новая страница: «'''Метод математической индукции''' - это метод доказательства формул c целочисленной пере…») |
|||
Строка 19: | Строка 19: | ||
*[[получение простых чисел]]; | *[[получение простых чисел]]; | ||
*[[разложение на множители]]; | *[[разложение на множители]]; | ||
+ | *[[система счисления]]; | ||
+ | *[[метод математической индукции]]; | ||
+ | *[[схема примитивной рекурсии]]; | ||
+ | *[[машина Поста]]; | ||
+ | *[[машина Тьюринга]]; | ||
*[[составление перестановок]]; | *[[составление перестановок]]; | ||
*[[составление сочетаний]]; | *[[составление сочетаний]]; | ||
Строка 24: | Строка 29: | ||
*[[составление разбиений]]; | *[[составление разбиений]]; | ||
*[[сортировка]]; | *[[сортировка]]; | ||
− | *[[алгоритм определения мест | + | *[[алгоритм определения мест]]. |
− | + | ||
− | + | ||
− | + | ||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Математика]][[Категория:Алгоритмы]] | [[Категория:Математика]][[Категория:Алгоритмы]] |
Версия 12:15, 23 января 2016
Метод математической индукции - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного.
Содержание
Алгоритм
Входные данные: n0; Sn=f(n).
Пример 1
Формула доказана, ч.т.д.
Пример 2
Формула доказана, ч.т.д.
Другие алгоритмы:
- наибольший общий делитель;
- наименьшее общее кратное;
- проверка кратности;
- деление по модулю;
- получение простых чисел;
- разложение на множители;
- система счисления;
- метод математической индукции;
- схема примитивной рекурсии;
- машина Поста;
- машина Тьюринга;
- составление перестановок;
- составление сочетаний;
- составление размещений;
- составление разбиений;
- сортировка;
- алгоритм определения мест.