Пусть описан тип R2Vector, представляющий вектор на плоскости с вещественными координатами: typedef struct { double x; double y; } R2Vector; также описаны три переменные u, v и w типа вектор и вещественная переменная s: R2Vector u, v, w; double s; при этом переменная u содержат конкретный вектор единичной длины. Указать, чему будет приблизительно равно значение переменной s в результате выполнения следующего фрагмента программы: v.x = (-u.y); v.y = u.x; w.x = u.x + v.x; w.y = u.y + v.y; s = sqrt(w.x * w.x + w.y * w.y); (функция sqrt извлекает квадратный корень из вещественного числа).

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

• # Целочисленная переменная x представляет короткое целое число со знаком в диапазоне -128...127 и занимает 1 байт. Чему равно значение x после выполнения приведенного ниже фрагмента программы? x := 30; x := x * 5;
• # Можно ли сохранить произвольное целое число длиной в четыре байта в вещественных переменных типа float и типа double без потери точности?
• # Всегда ли равны выражения (x + y) + y, x + (y * 2.0) для произвольных вещественных переменных x, y типа double?
• # Рассмотрим функцию F, которая в последовательности коэффициентов многочлена по возрастанию степеней ставит в соответствие значение второй производной многочлена в точке t. Какая из приведенных ниже функций на последовательностях является индуктивным расширением функции F?
• # Выполняется ли инвариант цикла в процессе выполнения тела цикла?