Чему равно произведение пустой последовательности вещественных чисел?

вопрос

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

Оставить комментарий

Отправить

• # Рассмотрим следующий фрагмент программы, вычисляющей частное 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 Какое условие является инвариантом цикла?
• # Какое утверждение является инвариантом для следующего фрагмента программы (т.е. из справедливости утверждения до выполнения фрагмента программы вытекает справедливость утверждения после выполнения)? Предполагается, что n неотрицательно. вещ r, x; цел n; . . . r := r * x * x; r := r / ((n + 1) * (n + 2)); n := 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;
• # Что содержат общие регистры процессора?