Основы информатики и программирования - тест 8

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

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

Свойствами преобразователя предикатов wp или определением оператора цикла являются:

Какую функцию надо взять в качестве ограничивающей, чтобы правильность данной программы: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));
    }
}легко могла быть доказана:

В данном случае: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));
    }
}сохранение инварианта после выполнения тела цикла следует из:

На практике постановка задачи:

Любая корректная постановка задачи содержит:

Предусловие и постусловие, которые содержатся в постановке задачи должны послужить основой для построения:

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

Если предусловие Q имеет вид T, то в этом случае инвариант можно строить только исходя из:

Программирование называют:

Описание того, что происходит с множеством переменных программы в процессе выполнения цикла называется:

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

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

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

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

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

Предикат A^B^C можно ослабить до:

При ослаблении предиката A^B^C до A^C имеет место:

Предикат 5i<10 можно ослабить до:

При ослаблении предиката 5<i<10 до 0<i<10 имеет место:

В чем причина того, что метод добавления дизъюнктивного члена не применяется:

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

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

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

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

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

Данную программу:public class Sqrt {
    public static void main(String[] args) throws Exception {
        int n = Xterm.inputInt("n -> ");
        int a = 0;
        while ( n >= (a+1)*(a+1) )
            a += 1;
        Xterm.println("sqrt(" + n + ") = " + a);
    }
}можно переписать в следующем компактном виде:

При написании программы, определяющей первое вхождение заданного целого числа x в заданный массив b[0..m-1] целых чисел (m>0), если известно, что x находится в массиве b, в качестве ограничивающей функции можно попробовать взять:

В качестве примера использования метода замены константы переменной можно рассматривать:

Программу, находящая сумму s элементов заданного целочисленного массива b[0..n-1], элементы которого и величину n изменять нельзя будет иметь вид:

В данном случае:"i=0;s=0;while(i<n)S;" уменьшить h можно:

Данная программа:public class Sqrt3 {
    public static void main(String[] args) throws Exception {
        int a, b, n;
        n = Xterm.inputInt("n -> ");
        a = 0; 
        b = n+1;
        while (a+1 != b) {
            int c = (a+b)/2;
            if (c*c <= n) a = c;
            else          b = c;
        } 
        Xterm.println("sqrt(" + n + ") = " + a);
    }
}находит приближенное значение квадратного корня:

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

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

Данная программа:public class Arr3 {
    public static void main(String[] args){    
        int a[] = { 1, 2, 4, 8,16,32,64,128};
        int b[] = {10,12,14,16,18,20,22, 24};
        int c[] = { 9,12,13,16,17,20,21, 24};
        int i = 0, j = 0, k = 0;
        while (true) { 
            if (a[i] < b[j]) {
                i++; continue;
            }
            if (b[j] < c[k]) {
                j++; continue;
            }
            if (c[k] < a[i]) {
                k++; continue;
            }
            Xterm.println("Минимальное общее число=" + a[i]);
            return;
        }
    }
}реализует алгоритм нахождения минимальное число, содержащееся в каждом из трех упорядоченных: