Алгоритмы и теория вычислений

Проверка истинности утверждения на первом шаге при n=1 в методе математической индукции называется

(Отметьте один правильный вариант ответа.)

Варианты ответа

индукционным шагом

леммой индукции

базисом индукции(Верный ответ)

Похожие вопросы

Индукционный шаг в методе математической индукции - это

Литера в методе резолюций - это

Контрарная пара в методе резолюций - это

Пустой дизъюнкт в методе резолюций обозначается

Множество называется перечислимым, если

Формула называется общезначимой, если она

Наполнение формальной системы смыслом называется

Принцип рассуждения от следствия к причине называется

Предметная область называется моделью, если

Конечный автомат называется "конечным", потому что