Метод математической индукции — различия между версиями
Материал из ALL
| Строка 4: | Строка 4: | ||
[[файл:ММИ01.JPG]] | [[файл:ММИ01.JPG]] | ||
| − | == Пример 1 == | + | == Примеры == |
| + | === Пример 1 === | ||
[[файл:ММИ11.JPG]] | [[файл:ММИ11.JPG]] | ||
Формула доказана, ч.т.д. | Формула доказана, ч.т.д. | ||
| − | == Пример 2 == | + | === Пример 2 === |
[[файл:ММИ12.JPG]] | [[файл:ММИ12.JPG]] | ||
Версия 08:20, 12 февраля 2016
Метод математической индукции - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного.
Алгоритм
Входные данные: n0; Sn=f(n).
Примеры
Пример 1
Формула доказана, ч.т.д.
Пример 2
Формула доказана, ч.т.д.
Другие алгоритмы:
- наибольший общий делитель;
- наименьшее общее кратное;
- проверка кратности;
- деление по модулю;
- получение простых чисел;
- разложение на множители;
- система счисления;
- метод математической индукции;
- схема примитивной рекурсии;
- машина Поста;
- машина Тьюринга;
- составление перестановок;
- составление лексикографических перестановок;
- составление сочетаний;
- составление лексикографических сочетаний;
- составление размещений;
- составление лексикографических размещений;
- составление разбиений;
- сортировка;
- алгоритм определения мест.
