Языки логического программирования, Рублев В.С., 2007

Языки логического программирования, Рублев В.С., 2007.

   Учебное пособие знакомит с одним из интереснейших направлений в развитии языков программирования - языками типа модели Маркова, которые называют языками логического программирования, а также функционального программирования или искусственного интеллекта. С целью усвоения материала и развития алгоритмических навыков в каждой главе даются тесты самоконтроля и упражнения для самостоятельной работы.
Предназначено для студентов, обучающихся по следующим специальностям 010503 Математическое обеспечение и администрирование информационных систем. 010501 Прикладная математика и информатика (дисциплина “Языки логического программирования“, блок ДС) Может быть использовано для других специальностей и дисциплин специализации.




Определение нормального алгоритма и его выполнение.
В середине прошлого века выдающийся русский математик А.А. Марков ввел понятие нормального алгоритма (алгорифма) с целью уточнения понятия «алгоритм», что позволяет решать задачи по определению алгоритмически неразрешимых проблем. Позже это понятие получило название нормального алгоритма Маркова (НАМ). Язык НАМ, с одной стороны, намеренно беден, что необходимо для цели введения понятия «алгоритм». Однако, с другой стороны, идеи НАМ положены в основу большой группы языков программирования, получивших название языки логического программирования, которые являются темой данного пособия.

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

ОГЛАВЛЕНИЕ.
Предисловие.
1. Нормальные алгоритмы Маркова.
1.1. Определение нормального алгоритма и его выполнение.
1.2. Возможности нормальных алгоритмов и тезис Маркова.
1.3. Тесты для самоконтроля.
1.4. Упражнения.
1.5. Ответы по тестам.
1.6. Литература.
2. Язык РЕФАЛ.
2.1. Развитие модели Маркова и обзор языка РЕФАЛ.
2.2. Рефал-выражения.
2.3. Рефал-функции.
2.4. Спецификации переменных.
2.5. Структура рефал-программы и ее модулей.
2.6. Первичные функции.
2.6.1. Функции ввода/вывода.
2.6.2. Арифметические функции.
2.6.3. Функции лексического анализа.
2.6.4. Функции для работы с символами-метками.
2.7. Примеры программ.
2.7.1. Синтаксический анализатор для языка арифметических выражений.
2.7.2. Суммирование последовательности чисел.
2.8. Дополнительные виды памяти.
2.8.1. Рекурсивные вычисления и функция порождения процесса.
2 8.2. Стековая память Рефала.
2 8.3. Обменная статическая и динамическая память Рефала.
2.9. Рефал-5.
2.9.1. Синтаксические отличия.
2.9.2. Условие.
2.9.3. Блок.
2.10. Тесты для  самоконтроля.
2.11. Упражнения.
2.12. Ответы по тестам.
2.13. Литература
3. Язык ПРОЛОГ.
3.1. Общая характеристика языка Пролог.
3.2. Объекты и термы Пролога.
3.3. Фаты.
3.4. Правила.
3.5. Запросы.
3.6. Вычислении и процедурная семантика Пролога.
3.7. Чистый недетерминированный Пролог.
3.7.1. Синтаксис программ и запросов.
3.7.2. Подстановки.
3.7.3. Процедурная семантика.
3.7.4. Адекватность процедурной семантики.
3.8. Стратегии вычислений.
3.9. Встроенные отношения.
3.10. Тесты для самоконтроля.
3.11. Упражнения.
3.12. Ответы по тестам.
3.13. Литература.
4. Модель Бэкуса алгебры программ.
4.1. Общая характеристика модели Бэкуса.
4.2. Базис модели Бэкуса.
4.3. Примитивные функции.
4.4. Фундаментальные формы.
4.5. Функции.
4.6. Алгебра программ.
4.7. Программа умножении матриц и ее алгебраическое преобразование.
4.8. Тесты для самоконтроля.
4.9. Упражнения.
4.10. Ответы по тестам.
4.11. Литература.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Языки логического программирования, Рублев В.С., 2007 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Хештеги: #учебник по программированию :: #программирование :: #Рублев