Метод математической индукции — различия между версиями
Материал из ALL
м |
|||
| (не показано 7 промежуточных версий этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Метод математической индукции''' - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного. | '''Метод математической индукции''' - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного. | ||
| + | = Метод математической индукции = | ||
== Алгоритм == | == Алгоритм == | ||
Входные данные: '''n<sub>0</sub>; S<sub>n</sub>=f(n)'''. | Входные данные: '''n<sub>0</sub>; S<sub>n</sub>=f(n)'''. | ||
[[файл:ММИ01.JPG]] | [[файл:ММИ01.JPG]] | ||
| − | == Пример 1 == | + | == Примеры == |
| + | === Пример 1 === | ||
[[файл:ММИ11.JPG]] | [[файл:ММИ11.JPG]] | ||
Формула доказана, ч.т.д. | Формула доказана, ч.т.д. | ||
| − | == Пример 2 == | + | === Пример 2 === |
[[файл:ММИ12.JPG]] | [[файл:ММИ12.JPG]] | ||
Формула доказана, ч.т.д. | Формула доказана, ч.т.д. | ||
| − | = | + | = [[Алгоритм|Другие алгоритмы:]] = |
| − | + | {{Список Алг}} | |
| − | + | = [[Разделы математики|Другие разделы]] = | |
| − | + | = Ссылки = | |
| − | + | *[[Участник:Logic-samara]] | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | * [[Участник:Logic-samara]] | + | |
[[Категория:Математика]][[Категория:Алгоритмы]] | [[Категория:Математика]][[Категория:Алгоритмы]] | ||
Текущая версия на 17:29, 14 января 2024
Метод математической индукции - это метод доказательства формул c целочисленной переменной, состоящий в проверке формулы при некотором начальном значении этой переменной, затем в предположении верности формулы при некотором значении переменной и в доказательстве верности формулы при следующем значении переменной. В этом случае метод математической индукции доказывает верность формулы при всех целочисленных значениях переменной, начиная с проверенного.
Содержание
Метод математической индукции
Алгоритм
Входные данные: n0; Sn=f(n).
Примеры
Пример 1
Формула доказана, ч.т.д.
Пример 2
Формула доказана, ч.т.д.
Другие алгоритмы:
- алгоритм метода математической индукции;
- алгоритмы в арифметике;
- алгоритмы перевода чисел;
- комбинаторные алгоритмы;
- алгоритм сортировки;
- алгоритм определения мест;
- логистические алгоритмы;
- алгоритмы решения транспортных задач;
- алгоритмы численных методов;
- алгоритмы построенные с помощью машины Поста;
- алгоритмы построенные с помощью машины Тьюринга;
- алгоритм синтеза автомата Мили;
- алгоритм синтеза автомата Мура.
