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