Для доказательства некоторого свойства объектов индуктивно определённого класса метод математической индукции применяется в следующем виде.
- Шаг дедукции состоит в предположении справедливости доказываемого свойства для всех объектов класса, имеющих сложность меньше k, и проверке того, что все получаемые из них объекты сложности k также обладают требуемым свойством.
- Шаг дедукции состоит в предположении справедливости доказываемого свойства для всех объектов подкласса, имеющих сложность меньше k, и проверке того, что все получаемые из них объекты сложности k также обладают требуемым свойством.
- Шаг индукции состоит в предположении справедливости доказываемого свойства для всех объектов класса, имеющих сложность меньше k, и проверке того, что все получаемые из них объекты сложности k также обладают требуемым свойством.
- Шаг индукции состоит в предположении справедливости доказываемого свойства для всех объектов подкласса, имеющих сложность меньше k, и проверке того, что все получаемые из них объекты сложности k также обладают требуемым свойством.
Для просмотра статистики ответов нужно
залогиниться.