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

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

• # Техника, при которой несущественная с точки зрения интерфейса объекта информация прячется внутри него называется:
• # В языке Java используемые в программах переменные величины и константы типов int и double принимают значения из множеств:
• # В данном случае:{Q} S {R} предикат R называется
• # Предикат inrange(b,i) определяет:
• # Для функции f:{0,1}*->{T,F} все элементы цепочки равны нулю значение F является: