Способ организации обработки данных, при котором определенные действия повторяются многократно, не приводя при этом к рекурсивным вызовам программ называется:
Идентификатор, непосредственно следующий в предикате за квантором называется:
Набор теорий, стандартов и методов, которые совместно представляют собой способ организации научного знания - это:
Простейший способ увеличения величины a, при построении инварианта с помощью метода устранения конъюнктивного члена, - это:
Метод решения задачи, при котором объекты разного рода объединяются общим понятием (концепцией), а затем сгруппированные сущности рассматриваются как элементы единой категории называется:
Необходимость первого условия критерия минимальности следует непосредственно из:
Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:
Для того, чтобы изучить какую-либо теорию, необходимо:
Множество объектов, связанных общностью структуры и поведения; абстрактное описание данных и поведения (методов) для совокупности похожих объектов, представители которой называются экземплярами класса называется:
К простейшим задачам на написание программ можно отнести:
