Второе условие критерия минимальности выполнено по построению:
Когда возникает необходимость хранить несколько однотипных значений используют:
Теорема критерия индуктивности утверждает, что f индуктивна тогда и только тогда, когда из равенства значений f на последовательностях a и b следует равенство значений f:
Идентификатор, непосредственно следующий в предикате за квантором называется:
В качестве примера использования критерия индуктивности можно доказать, что функция f:Z*->Z количество максимальных элементов последовательности целых чисел:
Способ организации обработки данных, при котором программа вызывает сама себя непосредственно, либо с помощью других программ называется:
Что соответствует отсутствию ограничений на начальные условия, в которых должна правильно работать программа:
При использовании основного метода построения инварианта и получении условия продолжения цикла в его качестве берется:
Выражение взаимосвязи между меняющимися в теле цикла объектами в виде неизменного условия - это основная идея:
Общая форма записи тернарного оператора условия ?: имеет следующий вид:
