Картинки из квадратов \ Теоретико-множественная математика \ 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. Более широкие возможности метода математической индукции

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


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

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

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

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