- Содержание
- Предисловие
- Глава 1. Парадигмы программирования
- 1.1. Декларативные и процедурные способы представления знаний
- 1.2. Две семантики декларативных языков
- 1.3. Область применения языков функционального и логического программирования
- Глава 2. Историческая справка и интернетресурсы
- 2.1. Краткая история развития языков функционального программирования
- 2.2. Краткая история развития языков логического программирования
- 2.3. Интернетресурсы
- Глава 3. Программирование с помощью функций
- 3.1. Форма представления функциональных программ
- 3.2. Свойства и возможности функционального программирования
- Глава 4. Типы функций, каррирование, обобщение понятия выражения
- 4.1. Типы функций
- 4.2. Каррирование
- 4.3. Обобщение конструкции выражения. Аппликация
- 4.4. Упрощение записи
- 4.5. Лямбдавыражение
- Глава 5. Структуры данных, базисные операции и предикаты
- 5.1. Списки и списочные структуры
- 5.2. Простейшие функции для работы со списками
- Глава 6. Абстрактная нотация для записи определений функций
- 6.1. Образцы и клозы
- 6.2. Использование лямбдавыражения
- 6.3. Локальные переменные
- 6.4. Охрана
- Глава 7. Элементарные приемы программирования
- 7.1. Этапы конструирования функциональных программ
- 7.2. Метод накапливающего параметра
- 7.3. Принципы построения определений с накапливающим параметром
- Глава 8. Синтаксическиориентированный способ конструирования функций
- 8.1. Декартово произведение
- 8.2. Размеченное объединение
- 8.3. Примеры определения типов данных
- Глава 9. Доказательство свойств программ
- 9.1. Схема доказательства индукцией по построению
- 9.2. Индукционная гипотеза
- Глава 10. Трансформации программ
- 10.1. Корректность и эквивалентность трансформаций
- 10.2. Классификация трансформаций
- 10.3. Шаги EURICA
- Глава 11. Частичные вычисления
- 11.1. Языки и программы
- 11.2. Проекции Футамуры — Ершова — Турчина
- Глава 12. Элементы лямбдаисчисления и комбинаторной логики
- 12.1. Исходные определения
- 12.2. Лямбдаконверсия
- 12.3. Оператор неподвижной точки
- 12.4. Стратегии вычислений
- 12.5. Введение в комбинаторы
- Глава 13. Введение в Лисп
- 13.1. Структуры данных
- 13.2. Обращение к функции. Выражение
- 13.3. Базовые операции над списками
- 13.4. Предикаты
- 13.5. Арифметические операции и отношения
- 13.6. Логические функции
- 13.7. Определение функций
- 13.8. Присваивание значений
- 13.9. Функция EVAL
- 13.10. Средства поддержки императивного программирования
- 13.11. Функции вводавывода
- 13.12. Применяющие функции
- 13.13. Отображающие функционалы
- 13.14. Макросы
- 13.15. Рекомендации по технологии программирования на Лиспе
- Глава 14. Введение в Haskell
- 14.1. Синтаксис и семантика базового подмножества
- 14.2. Типизация
- 14.3. Модульность
- 14.4. Императивный мир Haskell. Базовые операции ввода/вывода
- 14.5. Функция ошибки
- Глава 15. Процедурная трактовка элементов логических программ и механизмов логического программирования
- 15.1. Определения базовых понятий: логической программы, факта правила и целевого утверждения
- 15.2. Правило резолюции и логический вывод
- 15.3. Вычисление цели логической программой и абстрактный интерпретатор логических программ
- 15.4. Означивание цели и значение логической программы
- Глава 16. Структуры данных, методы и элементы теории логического программирования
- 16.1. Структуры данных, используемые в логическом программировании
- 16.2. Программы как данные
- 16.3. Методы, используемые в логическом программировании
- 16.4. Вопросы теории логических программ
- Глава 17. Введение в Пролог: синтаксис и особенности интерпретации программ на Прологе
- 17.1. Синтаксис языка Пролог
- 17.2. Механизм вычисления цели программой на Прологе
- 17.3. «Подводные камни» программирования с возвратами
- Глава 18. Синтаксис и семантика базисных встроенных предикатов Пролога
- 18.1. Встроенные предикаты для «арифметических» вычислений
- 18.2. Встроенные предикаты ввода и вывода
- 18.3. Встроенные предикаты управления
- 18.4. Встроенные предикаты преобразования структур
- 18.5. Другие полезные встроенные предикаты
- Глава 19. Использование встроенных предикатов Пролога для решения практических задач разных классов
- 19.1. Примеры определения предикатов обработки списков
- 19.2. Применение методов исходящей и входящей рекурсии
- 19.3. Реализация традиционных конструкций операторных языков
- Глава 20. Использование Пролога для синтаксического анализа
- 20.1. Формальные грамматики и языки
- 20.2. Пример простейшего анализатора для автоматного языка
- 20.3. Пример «наивного» анализатора для КС-грамматики
- 20.4. Встроенный в Пролог механизм DCG
- 20.5. Решение обратной задачи — восстановление цепочки языка по дереву разбора
- 20.6. Учет контекстной зависимости
- 20.7. Пример решения практической задачи
- Глава 21. Использование Пролога для решения задач эвристического поиска
- 21.1. Интерпретация редукционной модели на Прологе
- 21.2. Анализ игры двух лиц с полной информацией исчерпывающим перебором
- 21.3. Эвристический поиск на игровых деревьях
- Глава 22. Пролог и системы искусственного интеллекта
- 22.1. Задача распознавания изображений тел с плоскими гранями
- 22.2. Задача о коммивояжере
- 22.3. Задача об обитателях пяти домов
- Глава 23. Расширения Пролога и возможности его использования в визуализированных средах
- 23.1. Предпосылки усовершенствования Пролога
- 23.2. Отложенные вычисления
- 23.3. Табулирование
- 23.4. Синтаксис высшего порядка
- 23.5. Декларации видов
- 23.6. Программирование в ограничениях
- 23.7. Возможности организации интерфейса Пролога с визуализированными средами
- Упражнения
- Ответы и решения некоторых упражнений
- Список литературы
Функциональное и логическое программирование
| Внимание - режим тестирования! Для приобретения лицензии на |
|