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