Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n > 0.

    double r, x; int n;    . . .    r *= -x;    r *= n/(n+1);    ++n;

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что значение переменнойn неотрицательно.

    double r, x; int n;    . . .    r *= x*x;    r /= ((n+1)*(n+2));    n += 2;

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

    int n, k, c;    . . .    c *= (n+1);    c /= (n+1-k);    ++n;

Функция с прототипом

double root(double a, double b, double eps);

находит корень фиксированной функции

double f(double x);

на отрезке [a, b] методом деления отрезка пополамс точностью eps.Пусть функция f(x) определена следующимобразом:

double f(double x) {    double p = 1.;    double r = 1.;    while (r < 5.5) {        p *= (x - r);        r += 1.;    }    return p;}

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

    double x = root(0., 5.9, 0.000001);

Функция с прототипом

double root(double a, double b, double eps);

находит корень фиксированной функции

double f(double x);

на отрезке [a, b] методом деления отрезка пополамс точностью eps.Пусть функция f(x) определена следующимобразом:

double f(double x) {    return sin(x);}

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

    double x = root(-1., 9., 0.000001);

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

    double *p = 1000;    double *q = 2000;    int n = q - p;

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

    double a[5][3];    const double *p = &(a[0][0]);    const double *q = &(a[2][2]);    int n = q - p;

Чему равно значение nпосле выполнения этого фрагмента?

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

    // дано: целые числа a >= 0, b > 0    int a, b;    . . .    int q = 0, r = a;    int e = 1, m = b;    while (r >= b) {        if (2*m <= r) {            e *= 2; m *= 2;        } else if (m > r) {            e /= 2; m /= 2;        } else {            // утверждение: m <= r && r < 2*m            q += e; r -= m;        }    }    // q и r - частное и остаток от деления a на b

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

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

    double *p = 10000;    p -= 1000;    int n = (int) p;

Чему будет равно значение переменной nв результате выполнения следующего фрагмента программы?Процессор имеет 32-разрядную архитектуру.

    double (*a)[4]; int n, m;    n = (int)(a+1); m = (int) a;    n -= m;

Чему будет равно значение переменной nв результате выполнения следующего фрагмента программы?Процессор имеет 32-разрядную архитектуру.

    double a[10][2]; int n, m;    n = (int)(a+1); m = (int) a;    n -= m;