Алгоритмизация. Введение в язык программирования С++ (2-е издание)
Данный курс предназначен для студентов первых курсов непрофильных технических специальностей, а также для учеников старших классов общеобразовательных школ и школ с углубленным изучением математики и информатики. Он ознакомит студентов с понятием алгоритма, его видами. В нем изложены принципы..
Введение в языки программирования C и C++ (2-е издание)
Курс написан по материалам лекций, читавшихся автором на протяжении ряда лет студентам первых курсов факультета вычислительной математики и кибернетики Нижегородского государственного университета им. Н.И.Лобачевского. В курсе рассматриваются все основные конструкции и элементы языков..
Компонентный подход в программировании (2-е издание)
Рассматривается понятие сложной программы и отличия сложных программ от простых. Приводятся основные проблемы разработки сложных программ, В приложении к программной инженерии формулируются основные принципы работы со сложными системами, применимые к широкому кругу задач...
Основы программирования на JavaScript (2-е издание)
Курс посвящен изучению языка программирования javascript, который является языком сценариев (скриптов) и применяется в основном для создания на Web-страницах интерактивных элементов. Его можно использовать для построения меню, проверки правильности заполнения форм, смены изображений или для..
Перспективные языки веб-разработки (2-е издание)
Курс посвящен теоретическим и практическим вопросам использования новых технологий веб-разработки, известных как HTML5. Учащиеся, освоившие предлагаемый курс, смогут разрабатывать высококачественные мультимедиа-приложения, познакомятся с методами программирования трехмерной графики и создания..
Управление ключами шифрования и безопасность сети (2-е издание)
Курс дает представление о том как криптографические функции хэширования (hashing) могут обеспечить функции безопасности, такие как целостность сообщения и удостоверения подлинности сообщения. В курсе показываются как симметричное и асимметричное шифрование могут дополнять друг друга и как..

Книги и Журналы / Скачать Рублев В.С. - Языки логического программирования (2-е издание)
0

Рублев В.С. - Языки логического программирования (2-е издание)

Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга.

Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.

Содержание:

§ Лекция 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

Название: Языки логического программирования
Автор: Рублев В.С.
Издательство: М.: НОУ "Интуит"
Год издания: 2016
Качество: Хорошее
Страниц: 126
Формат: PDF
Язык: Русский
Размер: 10.8 Mb

Скачать "Языки логического программирования (2-е издание)":

Скачать бесплатно журнал / книгу Рублев В.С. - Языки логического программирования (2-е издание) на компьютер / телефон / android

Добавить комментарий
Полужирный Наклонный текст Подчеркнутый текст Зачеркнутый текст | Выравнивание по левому краю По центру Выравнивание по правому краю | Вставка смайликов Выбор цвета | Скрытый текст Вставка цитаты Преобразовать выбранный текст из транслитерации в кириллицу Вставка спойлера