Свойствами преобразователя предикатов wp или определением оператора цикла являются:
Переменные, которые всегда имеются ровно в одном экземпляре, независимо от того как много имеется объектов данного класса называются:
К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:
К арифметическим операторам языка Java, которые определены для всех числовых типов, относятся:
Какой метод может обеспечивать обработку всех тех отложенных операций, которые выполнимы в данный момент:
Для предикатов с кванторами справедливы дополнительные законы эквивалентности, называемые также:
Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:
Часто полезно поручить проверку истинности предикатов в процессе выполнения программы:
Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:
Что позволяет реализовать проверку истинности предикатов в процессе выполнения программы в языке Java:
