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

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

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

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

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

При построении инварианта с помощью метода устранения конъюнктивного члена увеличение величины 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));    }}

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

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

Основным методом построения инварианта является:

Сколько применяется реально методов построения инварианта: