Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга. Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.
Содержание
Лекция 1. Нормальные алгоритмы Маркова ... 4 Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2 ... 11 Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2 ... 21 Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ ... 27 Лекция 5. Язык РЕФАЛ: дополнительные виды памяти ... 38 Лекция 6. Язык РЕФАЛ: Рефал-5 ... 53 Лекция 7. Язык ПРОЛОГ: основные конструкции ... 65 Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога ... 74 Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика ... 85 Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения ... 92 Лекция 11. Модель Бэкуса алгебры программ: основные конструкции ... 99 Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций ... 107 Лекция 13. Модель Бэкуса алгебры программ: алгебра программ ... 116 Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы ... 119 Список литературы ... 125
В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих.
Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры программирования; стандартные типы данных; структуры данных; процедуры и функции; модульные программы; рекурсивные определения и алгоритмы; вопросы спецификации программ; корректность и надежность программ. Описаны методологии программирования — ...
Курс посвящен изучению основ языка логического программирования Пролог. Всюду, где возможно, общие принципы программирования на Прологе изучаются без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Проло ...
Язык программирования C++ — В систематизированном виде излагаются основные понятия и описываются возможности языка C++. При этом основное внимание уделяется объяснению того, как теми или иными возможностями пользоваться.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
