Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:
Какое свойство требует от алгоритма того, чтобы все операции, которые необходимо произвести в алгоритме, должны быть достаточно простыми, чтобы их в принципе можно было выполнить точно и за конечное время с помощью карандаша и бумаги?
При написании рекурсивных программ обычно необходимо исследовать следующие основные вопросы:
Предусловие и постусловие, которые содержатся в постановке задачи должны послужить основой для построения:
При использовании схемы вычисления инвариантной функции необходимо указать:
В языке Java для вызова метода необходимо сначала указать объект, к которому применяется тот или иной метод, а затем:
При нахождении минимального числа, содержащегося в каждом из трех упорядоченных по возрастанию массивов целых чисел, в предположении, что таковое существует, в качестве действий, которые будут приближать цикл к завершению можно использовать следующие операторы:
Предикат, описывающий максимально сильные ограничения на состояние переменных программы S, которые могут быть получены при данном предусловии Q:
Алгоритм обычно записывают:
Доказательство индуктивности функции обычно проводят:
