Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:
Множество всех объектов с одинаковым пространством состояний и одинаковым набором методов называется:
Множество всех состояний, в которых может находиться объект Xterm, называется:
Описание того, что происходит с множеством переменных программы в процессе выполнения цикла называется:
Предикат, описывающий максимально сильные ограничения на состояние переменных программы S, которые могут быть получены при данном предусловии Q:
Примерами выпуклых множеств являются:
Примерами выпуклых множеств являются:
Функция, действующая из некоторого множества значений переменных программы в множество из двух значений {T, F} ( Да и Нет) - это:
В вычислении рекурсивно определенной функции на множестве программных переменных заключается:
Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:
