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

Правильный ответ:

• # Чему равно значение целочисленной переменной x в результате выполнения приведенного ниже фрагмента программы? x := 64; цикл пока x*x > 100 | x := -(x / 2); конец цикла
• # Сколько двоичных разрядов отводится для хранения мантиссы в двоичном коде вещественного числа типа double длиной 8 байтов?
• # Пусть значения целочисленных переменных x и y равны 20 и 10 соответственно. Указать значение логического выражения y != 0 и x/y <= 1
• # Локальные переменные функции языка Си адресуются относительно регистра FP (Frame Pointer — указатель кадра). Что содержится в ячейке памяти, адрес которой записан в регистре FP, в процессе выполнения тела функции?
• # Указать, чему будет равно значение переменной i в результате выполнения следующего фрагмента программы: int i = 10; while (i <= 1000) { i *= 2; }