Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:

Правильный ответ:

• # В математике существует несколько вполне четких определений алгоритма:
• # Нахождение выпуклой оболочки последовательно поступающих точек плоскости и вычисление двух ее метрических характеристик относится к задачам:
• # Затененные участки - это:
• # В данном случае:public class Gcd { public static void main(String[] args) throws Exception { int x = Xterm.inputInt("x -> "); int y = Xterm.inputInt("y -> "); Xterm.print("gcd(" + x + "," + y + ") ="); while ( (x != 0) && (y != 0) ) { if (x >= y) x -= y; else y -= x; } Xterm.println(" " + (x+y)); } }сохранение инварианта после выполнения тела цикла следует из:
• # Теорема критерия индуктивности утверждает, что f индуктивна тогда и только тогда, когда из равенства значений f на последовательностях a и b следует равенство значений f: