Для доказательства факта, что заданная функция не является индуктивной, применяют:

вопрос

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

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

Отправить

• # Использование круглых скобок для группировки всегда позволяет:
• # В математической модели рекурсии значение функции для всех значений аргумента, начиная с некоторого, определяется:
• # Для массивов верны утверждения:
• # Если предусловие Q имеет вид T, то в этом случае инвариант можно строить только исходя из:
• # В данной программе:public class NumMaxSeq2 { public static void main(String[] args) { int y1 = 0, y2 = Integer.MIN_VALUE; try { while (true) { int x = Xterm.inputInt("x -> "); if (x == y2) { y1 += 1; } else if(x > y2) { y1 = 1; y2 = x; } } } catch (Exception e) { Xterm.println("\nn = " + y1); } } }:любая ошибка при вводе рассматривается как: