Справочник по языку C++

Алгоритм algorithm — точное предписание, задающее последовательность действий.

Инициализация — присваивание переменной начального значения.

Цикл — последовательность действий, которая в процессе выполнения программы потенциально может быть выполнена неоднократно.

Итерация — одно повторение цикла.

Рекурсивное определение — определение, ссылающееся на себя само.

Рекурсивная функция — функция, при вычислении которой может использоваться значение этой же функции, но от других параметров.

Рекурсивный метод доказательства называется математической индукцией. Он предполагает движение в обратном направлении. Предположим, что необходимо доказать некое утверждение C как истинное для любого параметра p из множества P. Для этого достаточно доказать три связанных утверждения:

  1. Существует непустое P0 ⊂ P такое, что для любого p ∈ P0 утверждение C — истинно.

  2. Если для любого p из Pi истинно C, то существует непустое Pi+1 такое, что для любого q ∈ Pi+1 утверждение C — истинно.

  3. Множество P представимо как объединение множеств P0, P1, P2, … .