Язык, на котором можно строго сформулировать постановку задачи и доказать правильность конкретной программы - это:

Какой язык можно рассматривать как язык правильных программ для стекового калькулятора:

В качестве примера использования критерия индуктивности можно доказать, что функция f:Z*->Z количество максимальных элементов последовательности целых чисел:

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

public class Gcd {    public static void main(String[] args) throws Exception {        int x = Xterm.inputInt("x -> ");        int y = Xterm.inputInt("y -> ");        Xterm.print("gcd(" + x + "," + y + ") =");        while ( (x != 0) && (y != 0) ) {            if (x >= y) x -= y;            else        y -= x;        }         Xterm.println(" " + (x+y));    }}

легко могла быть доказана:

Один из простейших способов доказать, что предикат является тавтологией, — это:

Метод решения задачи, при котором объекты разного рода объединяются общим понятием (концепцией), а затем сгруппированные сущности рассматриваются как элементы единой категории называется:

Для того чтобы доказывать правильность программ необходимо прежде всего дать строгое определение понятию:

Все задачи на написание программ можно разделить на следующие группы:

Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:

Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:

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