Метод математической индукции - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного.
Алгоритм
Примеры
Другие алгоритмы:
- наибольший общий делитель;
- наименьшее общее кратное;
- проверка кратности;
- деление по модулю;
- получение простых чисел;
- разложение на множители;
- система счисления;
- метод математической индукции;
- схема примитивной рекурсии;
- машина Поста;
- машина Тьюринга;
- комбинаторные алгоритмы;
- сортировка;
- алгоритм определения мест.