Метод математической индукции — различия между версиями
м |
м |
||
Строка 13: | Строка 13: | ||
Формула доказана, ч.т.д. | Формула доказана, ч.т.д. | ||
− | == [[ | + | == [[Алгоритм|Другие алгоритмы:]] == |
{{Список Алг}} | {{Список Алг}} | ||
== Ссылки == | == Ссылки == | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
[[Категория:Математика]][[Категория:Алгоритмы]] | [[Категория:Математика]][[Категория:Алгоритмы]] |
Версия 15:15, 6 января 2021
Метод математической индукции - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного.
Алгоритм
Входные данные: n0; Sn=f(n).
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Примеры
Пример 1
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Формула доказана, ч.т.д.
Пример 2
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Формула доказана, ч.т.д.
Другие алгоритмы:
- алгоритм метода математической индукции;
- алгоритмы в арифметике;
- алгоритмы перевода чисел;
- комбинаторные алгоритмы;
- алгоритм сортировки;
- алгоритм определения мест;
- логистические алгоритмы;
- алгоритмы решения транспортных задач;
- алгоритмы численных методов;
- алгоритмы построенные с помощью машины Поста;
- алгоритмы построенные с помощью машины Тьюринга;
- алгоритм синтеза автомата Мили;
- алгоритм синтеза автомата Мура.