Planka Lkuel - первый алгоритмический язык программирования:
Алан Колмероэ создал язык логического программирования Prolog в 1971 году:
В качестве математической модели структурное программирование использует машину Тьюринга - Поста:
Инкапсуляция - сокрытие информации и комбинирование данных и функций, которые аналогичны абстрактным типам данных:
Класс задач программирования в ограничениях - задачи исследования операций и искусственного интеллекта:
Логическое и функциональное программирование применяются для решения задач, связанных с искусственным интеллектом:
Логическое программирование - программирование в терминах фактов и правил вывода:
Машина Тьюринга - Поста - абстрактное вычислительное устройство для описания алгоритмов:
Метод абстрактных типов данных лежит в основе инкапсуляции:
Метод аппликативности заключается в том, что программа есть выражение, составленное из применения функций к аргументам:
Метод объектно-ориентированной декомпозиции заключается в выделении объектов и связей между ними:
Метод описательной модели вычислений заключается в том, что программа на языке программирования содержит описания понятий и задач:
Метод резолюций заключается в последовательном доказательстве отдельных утверждений, входящих в посылку дизъюнкта Хорна, для доказательства его следствия:
Метод синхронизации исполняемого кода заключается в использовании операций для осуществления взаимодействия между одновременно исполняемыми фрагментами кода:
Метод унификации - механизм сопоставления с образцом для создания и декомпозиции структур данных:
Методология объектно-ориентированного программирования использует объектную декомпозицию:
Методология параллельного программирования - подход, в котором предлагается использование явных конструкций для параллельного исполнения выбранных фрагментов программы:
Методология программирования - совокупность методов, применяемых в процессе разработки программного обеспечения:
Методология программирования в ограничениях - в программе определяется тип данных решения, предметная область решения и ограничения на значения искомого решения:
Методология структурного программирования - подход, характеризующийся принципом последовательного изменения состояния вычислителя шаговым образом:
Не существует методологии программирования:
Основная задача программирования - создание качественного программного обеспечения:
Параллельные языки программирования используют явные конструкции для параллельного исполнения выбранных фрагментов программы:
По происхождению функциональная методология тесно связана с лямбда-исчислением, изобретенным еще в начале 30-х годов XX века Аланзо Черчем:
Полиморфизм - присваивание действию одного из имени, которое затем разделяется по иерархии объектов:
Программа содержит описание проблем в терминах фактов и логических формул, а решение проблемы выполняется с помощью логического вывода - все это является методами программирования:
Программирование в ограничениях - программирование в терминах постановок задач:
Способ составления программ, в котором единственным действием является вызов функции, единственное правило композиции - оператор суперпозиции функций, является методологией программирования:
Структурные языки программирования манипулируют данными в пошаговом решении, используя последовательные инструкции и применяя их к разнообразным данным:
Э. Дейкстра - создатель подхода в программировании: