Картинки из квадратов \ Теоретико-множественная математика \ Theoretical Computer Science \ Многотомник Дональда Кнута "Искусство программирования" (3-е изд., 2001) \ Том 1. Основные алгоритмы \ Основные понятия \ Математическое введение \
 

9.7.2.1.1.2.1. Математическая индукция

 
Начало см. здесь.
Кнут Д.
Искусство программирования для ЭВМ.
Том 1. Основные алгоритмы. 3-е изд., 2001, cc. 38 — 49.
9.7.2.1.1.2.1.1. Более широкие возможности метода математической индукции
9.7.2.1.1.2.1.2. Использование математической индукции для доказательства фактов, касающихся алгоритмов
9.7.2.1.1.2.1.3. Доказательство свойства конечности алгоритма      9.7.2.1.1.2.1.4. Исторические сведения, касающиеся метода математической индукции

Об одном древнем способе визуализации этих равенств см. здесь. См. также ниже на этой странице.


Соглашения о форме записи алгоритмов, принятые Д. Кнутом, см. здесь (на примере "алгоритма Евклида").
Метод доказательства, сформулированный в пп. (a) и (b) см. здесь.

Определение простых чисел см., например, у Г. Дэвенпорта здесь.

Описание доказательств методом математической индукции см. также у Г. Дэвенпорта здесь.

Более подробно об этих геометрических способах доказательства см. здесь.
9.7.2.1.1.2.1.1. Более широкие возможности метода математической индукции
9.7.2.1.1.2.1.2. Использование математической индукции для доказательства фактов, касающихся алгоритмов
9.7.2.1.1.2.1.3. Доказательство свойства конечности алгоритма      9.7.2.1.1.2.1.4. Исторические сведения, касающиеся метода математической индукции
  К началу данной страницы  
Картинки из квадратов \ Теоретико-множественная математика \ Theoretical Computer Science \ Многотомник Дональда Кнута "Искусство программирования" (3-е изд., 2001) \ Том 1. Основные алгоритмы \ Основные понятия \ Математическое введение \