На этом шаге мы дадим общее понятие индукции.

Индукция - ещё одно понятие, которое играет существенную роль при разработке рекурсивного кода. Термин имеет разные значения в зависимости от области и предмета его применения. В контексте рекурсивного программирования он связан с математическим доказательством методом индукции. Его ключевая идея состоит в том, что программисты должны предположить, что рекурсивный код, который они пытаются реализовать, правильно работает для простых и малых задач, даже если они ещё не написали ни одной строчки программы! Это понятие также называют иногда рекурсивной "убеждённостью" (leap of faith). Далее мы рассмотрим эти чрезвычайно важные понятия.

На следующем шаге мы рассмотрим, как в математике в доказательствах используется метод индукции.