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

+1

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

Рублев В.С. - Языки логического программирования (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-е издание) на высокой скорости и по прямой ссылке !


Теги:

Рублев

,

Языки

,

логического

,

программирования

,

издание

«Случайные цитаты»
Взгляды - тяжелая артиллерия флирта: взглядом можно выразить всё, и при этом, однако, всё можно отрицать, ведь взгляд не поймаешь на слове. © Стендаль
Категория: | Добавил: | 6 месяцев и 3 недели назад

Рублев ВС - Языки логического программирования
Так же советуем посмотреть

Д. Сикери - Вина мира: Справочник


В этой книге о великих винах мира читатель найдет также сведения о сортах винограда, типах почвы, особенностях климата и методах виноделия, характерных для разных стран. Как богатый источник информации издание будет полезно и для экспертов, и для тех, кто хочет открыть для себя прекрасный мир настоящего вина.

Андрей Белянин - Граничары 3: Клан Белого Волка (Аудиокнига)


Дядя Эдик отказывается выбрасывать дохлую нечисть с нашего балкона! Он вообще не понимает, как это выбрасывать то, что можно замариновать и съесть?! Полный псих, что с него возьмёшь, кроме справки…

Леонов Николай, Макеев Алексей - Изобретатель смерти (сборник)


На презентации развлекательного центра «Тридевятое царство» произошла трагедия: рухнула крыша одного из павильонов. Пострадали люди, в том числе родственники уголовного авторитета по кличке Зубр.

Информация
Комментирование доступно только зарегистрированным пользователям! Мы просим вас войти под своим аккаунтом, или же зарегистрироваться, для удобства.
Design powered by XTreme.ws™ © 2008-2016