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

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

• # Если предикат истинен во всех состояниях, в которых он определен, то он называется:
• # Под внешней памятью подразумеваются такие носители информации, как:
• # Результат выполнения операций деления и деления по модулю для целочисленных операндов является:
• # Спецификация программы является единственным корректным способом:
• # Для доказательства факта, что заданная функция не является индуктивной, применяют: