База ответов ИНТУИТ

Основы программирования

<<- Назад к вопросам

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n неотрицательно.
вещ r, x; цел n;. . .r := r * x * x;r := r / ((n + 1) * (n + 2));n := n + 2;

(Отметьте один правильный вариант ответа.)

Варианты ответа
Утверждение r = xn / n!, где восклицательным знаком обозначен факториал числа n. (Верный ответ)
Утверждение r = xn / ((n+1)·(n+2)).
Похожие вопросы
Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n > 0.
вещ r, x; цел n;. . .r := -r * x;r := r * n / (n + 1);n := n + 1;
Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n не меньше k.Восклицательным знаком обозначается операция вычисления факториала.
цел n, k, c;. . .c := c * (n + 1);c := c/(n + 1 - k);n := n + 1;
Рассмотрим следующий фрагмент программы, вычисляющейчастное 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представляет короткое целое число со знакомв диапазоне -128...127 и занимает 1 байт.Чему равно значение x после выполнения приведенногониже фрагмента программы?
x := 30;x := x * 5;
Целочисленная переменная xпредставляет короткое целое число со знакомв диапазоне -128...127 и занимает 1 байт.Чему равно значение x после выполнения приведенногониже фрагмента программы?
x := 120;x := x + 40;
Пусть A = A(x) —некоторое условие, зависящее только отзначения переменной x.Указать, чему может быть равно значение переменной yв результате выполнения следующего фрагмента программы:
x := 1;y := 1;цикл пока A(x)| . . .| если y < 0| | то| |   x := 2;| |   y := 10;| | иначе| |   x := 1;| |   y := 20;| конец есликонец цикла
Целочисленная переменная xпредставляет короткое целое число со знакомв диапазоне -32768...32767 и занимает 2 байта.Чему равно значение x после выполнения приведенногониже фрагмента программы?
x := 32760;x := x + 10;
Указать, что произойдет с элементами массива aв результате выполнения следующего фрагмента программы:
вещ a[100]; цел i;. . .i := 0;цикл пока i < 99| a[i+1] := a[i];| i := i+1;конец циклаa[0] := a[99];
Указать, что произойдет с элементами массива aв результате выполнения следующего фрагмента программы:
вещ a[100]; вещ t; цел i;. . .i := 0;цикл пока i < 50| t := a[i];| a[i] := a[99 - i]; a[99 - i] := t;| i := i+1;конец цикла
Указать, что произойдет с элементами массива aв результате выполнения следующего фрагмента программы:
вещ a[100]; вещ t; цел i;a[0] = 0;. . .a[99] = 99;i := 0;t := a[0];цикл пока i < 99| a[i] := a[i+1];| i := i+1;конец циклаa[99] := t;