Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Словарь логики
"Индукция Математическая, Полная Математическая Индукция"

Главная - Словарь логики - буква И - Индукция Математическая, Полная Математическая Индукция
Словарь логики
Искать!

- средство доказательства общих положений в матема­тике и др. дедуктивных науках. Этот прием опирается на использова­ние двух суждений. Первое представляет собой единичное суждение и наз. базой индукции. В нем доказывается, что 1 обладает некоторым свойством (S(1)). Второе суждение - общее условное. В нем утверж­дается, что если произвольное число п обладает свойством S (т. наз. индуктивное предположение), то и непосредственно следующее за ним (в натуральном ряду) число n+1 также обладает этим свойством S (т. наз. индукционный шаг). Это т.наз. наследуемость свойства S в натуральном ряду чисел 1, 2, 3, 4, 5, ..., n, n+1 ... Если первое и второе положения верны, то можно сделать заключение, что и все натуральные числа обладают свойством S, что S принадлежит все­му бесконечному множеству натуральных чисел. Символически это доказательство записывается так: S(1)& "n(S(n)->S(n+1)) ®" mS(m). Доказательство некоторого общего математического суждения может быть продемонстрировано последовательностью процедур: из " n(S(n) ->S(n+1)) по правилам логики могут быть получе- ны следующие суждения: S(1)->S(2) (1), S(2)->S(3) (2), S(3)->S(4) (3)... и т. д. Поскольку же нам надо 5(1), то из сужде­ния (1) мы получаем по модус поненс S(2); поскольку нам дано S(2), мы из (2) можем получить 5( 3); поскольку нам дано S(3), мы из (3) можем получить 5(4), и т. д. до бесконечности. Это и означает доказанность истинности общего суждения "mS(m).


Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: Индукция Математическая, Полная Математическая Индукция


будет выглядеть так: Что такое Индукция Математическая, Полная Математическая Индукция

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь
2010-2013. Толковый словарь DicDic. Словарь - Индукция Математическая, Полная Математическая Индукция - Словарь логики - Толковый словарь DICDIC