Логическое программирование - программирование в терминах фактов и правил вывода:
(*ответ*) да
нет
Машина Тьюринга - Поста - абстрактное вычислительное устройство для описания алгоритмов:
(*ответ*) да
нет
Метод абстрактных типов данных лежит в основе инкапсуляции:
(*ответ*) да
нет
Метод аппликативности заключается в том, что программа есть выражение, составленное из применения функций к аргументам:
(*ответ*) да
нет
Метод объектно-ориентированной декомпозиции заключается в выделении объектов и связей между ними:
(*ответ*) да
нет
Метод описательной модели вычислений заключается в том, что программа на языке программирования содержит описания понятий и задач:
(*ответ*) да
нет
Метод резолюций заключается в последовательном доказательстве отдельных утверждений, входящих в посылку дизъюнкта Хорна, для доказательства его следствия:
(*ответ*) да
нет
Метод синхронизации исполняемого кода заключается в использовании операций для осуществления взаимодействия между одновременно исполняемыми фрагментами кода:
(*ответ*) да
нет
Метод унификации - механизм сопоставления с образцом для создания и декомпозиции структур данных:
(*ответ*) да
нет
Методология объектно-ориентированного программирования использует объектную декомпозицию:
(*ответ*) верно
неверно
Методология параллельного программирования - подход, в котором предлагается использование явных конструкций для параллельного исполнения выбранных фрагментов программы:
(*ответ*) да
нет
Методология программирования - совокупность методов, применяемых в процессе разработки программного обеспечения:
(*ответ*) да
нет
Методология программирования в ограничениях - в программе определяется тип данных решения, предметная область решения и ограничения на значения искомого решения:
(*ответ*) да
нет
Методология структурного программирования - подход, характеризующийся принципом последовательного изменения состояния вычислителя шаговым образом:
(*ответ*) да
нет
Не существует методологии программирования:
(*ответ*) одновременного программирования
структурного программирования
функционального программирования
логического программирования
Основная задача программирования - создание качественного программного обеспечения:
(*ответ*) да
нет
Параллельные языки программирования используют явные конструкции для параллельного исполнения выбранных фрагментов программы:
(*ответ*) да
нет
По происхождению функциональная методология тесно связана с лямбда-исчислением, изобретенным еще в начале 30-х годов XX века Аланзо Черчем:
(*ответ*) да
нет