Логическое программирование - программирование в определениях фактов и правил вывода:
(*ответ*)

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