'''Метод математической индукции''' - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного.
= Метод математической индукции =
== Алгоритм ==
Входные данные: '''n<sub>0</sub>; S<sub>n</sub>=f(n)'''.
Формула доказана, ч.т.д.
== [[Алгоритм|Другие алгоритмы: ==*[[наибольший общий делитель]];=*[[наименьшее общее кратное]];{{Список Алг}}*= [[проверка кратности]];*[[деление по модулю]];*[[получение простых чисел]];*[[разложение на множители]];*[[система счисления]];*[[метод математической индукции]];*[[схема примитивной рекурсии]];*[[рекурсия]];*[[машина Поста]];*[[машина Тьюринга]];*[[Составление перестановокРазделы математики|комбинаторные алгоритмыДругие разделы]];*[[сортировка]];*[[алгоритм определения мест]].=== Ссылки ==* [[Участник:Logic-samara]]
[[Категория:Математика]][[Категория:Алгоритмы]]