Завершится ли когда-нибудь выполнение цикла в приведенном ниже фрагменте программы (!= - означает "не равно")?

x := 1;цикл пока x != 56| x := x * 11;| если x <= 253| | то x := x - 253;| конец есликонец цикла

Завершится ли когда-нибудь выполнение циклав приведенном ниже фрагменте программы?

x := 1;цикл пока x != 144| x := x * 13;| если x <= 299| | то x := x - 299;| конец есликонец цикла

(!= - означает "не равно")

Завершится ли когда-нибудь выполнение циклав приведенном ниже фрагменте программы (!= означает "не равно")?

x := 1;цикл пока x != 120| x := x * 7;| если x <= 490| | то x := x - 490;| конец есликонец цикла

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

z := 0;цикл пока x < y| . . .| если z > 100| | то| |   z := 10; x := y;| | иначе| |   z := 20; x := y - 1;| конец есликонец цикла

Пусть A = A(x) —некоторое условие, зависящее только отзначения переменной x.Указать, чему может быть равно значение переменной yв результате выполнения следующего фрагмента программы:

x := 1;y := 1;цикл пока A(x)| . . .| если y < 0| | то| |   x := 2;| |   y := 10;| | иначе| |   x := 1;| |   y := 20;| конец есликонец цикла

Рассмотрим следующий фрагмент программы, вычисляющейчастное q и остаток r от деленияцелых чисел a, b:

  дано: целые числа a >= 0, b > 0  цел q, r, e, m;  q := 0; r := a; e := 1; m := b  цикл пока r >= b  | если 2*m <= r  | | то e := e*2; m := m*2;  | иначе если m > r  | | то e := e/2; m := m/2;  | иначе  | | утверждение: m <= r  и  r < 2*m  | | q := q + e; r := r - m;  | конец если  конец цикла  // q и r -- частное и остаток от деления a на b

Какое условие является инвариантом цикла?

Чему равно значение целочисленной переменной xв результате выполнения приведенного ниже фрагмента программы?

x := 64;цикл пока x*x > 100| x := -(x / 2);конец цикла

Чему равно значение целочисленной переменной xв результате выполнения приведенного ниже фрагмента программы?

x := 1;цикл пока x < 100| x := -(x * 2);конец цикла

Чему равно значение целочисленной переменной xв результате выполнения приведенного ниже фрагмента программы?

x := 1;цикл пока x < 11| x := -2*x + 11;конец цикла

Рассмотрим следующий фрагмент программы:

утверждение: A(x)цикл пока B(x)| инвариант: A(x)| x := T(x)конец цикла

Здесь через A(x) и B(x)обозначены условия, зависящие от переменной x.Какое условие выполняется по окончании цикла?

Рассмотрим следующий фрагмент программы:

    цел m, n;    цел a, b, p;    . . .    a := m; b := n;    p := 0;    цикл пока b != 0    | если b четное    | | то    | |     b := b / 2;    | |     a := a * 2;    | | иначе    | |     b := b - 1;    | |     p := p + a;    | конец если    конец цикла    ответ := p;

Какое условие является инвариантом цикла?