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

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

• # Грани полиэдра можно описать с помощью класса:
• # Какой класс позволяет создать фрейм и, используя простейшие графические примитивы, построить в нем требуемое изображение:
• # В языке Java используемые в программах переменные величины и константы типов int и double принимают значения из множеств:
• # Язык Java позволяет работать с массивами элементов:
• # Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое: