При построении инварианта с помощью метода устранения конъюнктивного члена истинность инварианта перед началом выполнения цикла легко устанавливается присваиванием:

При построении инварианта с помощью метода устранения конъюнктивного члена увеличение величины a на единицу на каждой итерации цикла:

При построении инварианта с помощью метода устранения конъюнктивного члена в качестве условия продолжения цикла e может быть взято:

Простейший способ увеличения величины a, при построении инварианта с помощью метода устранения конъюнктивного члена, - это:

Для того чтобы при построении инварианта с помощью метода устранения конъюнктивного члена цикл завершился, величина a должна:

Истинность утверждения на котором базируется схема проектирования цикла при помощи инварианта может быть выведена из:

При использовании основного метода построения инварианта и получении условия продолжения цикла в его качестве берется:

При использовании основного метода построения инварианта часто удается получить:

Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое:

В данном случае:

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));    }}

сохранение инварианта после выполнения тела цикла следует из:

Методами построения инварианта являются: