Интерпретатор вычисляет значение арифметической формулы, в которой вместо имен переменных содержатся:

Интерпретатор совмещает в себе следующие стадии:

Предусловие и постусловие, которые содержатся в постановке задачи должны послужить основой для построения:

Для формулы x+y*z существует два существенно различных множества эквивалентных между собой цепочек вывода, каждому из которых соответствует:

Прямое произведение множеств состояний всех переменных программы - это:

В вычислении рекурсивно определенной функции на множестве программных переменных заключается:

Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:

Описание того, что происходит с множеством переменных программы в процессе выполнения цикла называется:

Данная программа:

public class FactIv1 {    public static void main(String[] args) throws Exception {            int n, i, k;        n = Xterm.inputInt("Введите n -> ");        i = k = 1;        while (i <= n) {            k *= i;            i += 1;        }        Xterm.println("" + n + "! = " + k);    }}

вычисляет:

Фраза, инвертирование которой не изменяет ее называется:

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