В тех случаях, когда утверждения проверки корректности хода выполнения программы предназначены только для человека, они оформляются в виде:
Для директивного программирования верны следующие утверждения:
Примерами языков, предназначенных для директивного программирования являются:
Важнейшими парадигмами программирования на данный момент времени являются:
Произвольный объектно-ориентированный язык программирования характеризуют следующие основных свойства:
Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:
Фраза, инвертирование которой не изменяет ее называется:
Интерпретатор вычисляет значение арифметической формулы, в которой вместо имен переменных содержатся:
Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое:
Техника, при которой несущественная с точки зрения интерфейса объекта информация прячется внутри него называется: