Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое:

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

• # Выяснение того факта, лежат ли три точки на одной прямой, сводится к вычислению площади треугольника и:
• # Какой метасимвол в грамматике G2 обозначает множитель:
• # Затененные участки - это:
• # При построении инварианта с помощью метода устранения конъюнктивного члена в качестве условия продолжения цикла e может быть взято:
• # Данная программа:public class AverSeq{ public static void main(String[] args) { double y1 = 0., y2 = 0.; try { while (true) { double x = Xterm.inputDouble("x -> "); y1 = (y1*y2 + x) / (y2 + 1.); y2 += 1; } } catch(Exception e) { Xterm.println("\nf = " + y1); } } }вводит последовательность вещественных чисел, и печатает: