Содержание
Аннотация2
Реферат3
Задание4
Введение6
1.Основная часть7
1.1.Анализ задачи7
1.2.Обоснование выбора алгоритма и структур данных9
1.3.Описание алгоритма11
1.4.Обоснование набора тестов13
Заключение15
Список литературы16
Приложение 117
Приложение 219
Приложение 321
Выдержка из текста
Введение
Теория графов находит применение, например, в геоинформационных системах (ГИС). Существующие или вновь проектируемые дома, сооружения, кварталы и т. п. рассматриваются как вершины, а соединяющие их дороги, инженерные сети, линии электропередачи и т. п. — как рёбра. Применение различных вычислений, производимых на таком графе, позволяет, например, найти кратчайший объездной путь или ближайший продуктовый магазин, спланировать оптимальный маршрут.
Теория графов реализуется с помощью языков логического программирования. Первым языком логического программирования был язык Planner, в котором была заложена возможность автоматического вывода результата из данных и заданных правил перебора вариантов (совокупность которых называлась планом). Planner использовался для того, чтобы понизить требования к вычислительным ресурсам (с помощью метода backtracking) и обеспечить возможность вывода фактов, без активного использования стека. Затем был разработан язык Prolog, который не требовал плана перебора вариантов и был, в этом смысле, упрощением языка Planner.
От языка Planner также произошли логические языки программирования QA-4, Popler, Conniver и QLISP. Языки программирования Mercury, Visual Prolog, Oz и Fril произошли уже от языка Prolog. На базе языка Planner было разработано также несколько альтернативных языков логического программирования, не основанных на методе поиска с возвратами (backtracking), например, Ether.
Основные задачи и цели курсового проектирования:
1) приобретение навыков и методов программирования достаточно
сложных задач на языках логического программирования;
2) подготовка к выполнению дипломного проекта.
Работа реализуется на языке QLisp.
Список использованной литературы
1.Зыков А.А. Основы теории графов. — М. Наука. Гл. ред. Физ.-мат. лит., 1987, 384с.
2.Уилсон Р. Введение в теоpию гpафов. — М.: Миp, 1977.
3.Городняя Л. Введение в программирование на языке Лисп. Новосибирск, 2005, 46с.
4.Хювенен Э., Сеппянен И., Мир Лиспа. Т.1: Введение в язык Лисп и функциональное программирование. Электронное издание, 2008, 458 с.
5.Хювенен Э., Сеппянен И., Мир Лиспа. Т.2: Введение в язык Лисп и функциональное программирование. Электронное издание, 2008, 332 с.
6.Лутай В.Н. Программирование на языках Лисп и Пролог. ТРТУ,1998.
7.Филд А., Харрисон П. Функциональное программирование. — М.: Мир, 1993.
8.Информация с электронного ресурса: http://www.lisp.ru