Определение компонент связности на Лиспе

Краткая выдержка из текста работы (Аннотация)

Введение

Теория графов находит применение, например, в геоинформационных системах (ГИС). Существующие или вновь проектируемые дома, сооружения, кварталы и т. п. рассматриваются как вершины, а соединяющие их дороги, инженерные сети, линии электропередачи и т. п. — как рёбра. Применение различных вычислений, производимых на таком графе, позволяет, например, найти кратчайший объездной путь или ближайший продуктовый магазин, спланировать оптимальный маршрут.

Теория графов реализуется с помощью языков логического программирования. Первым языком логического программирования был язык 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

Использованная литература

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

Другие похожие работы

• Курсовая - Реклама туристкого продукта в Интернет
• Реферат - Организация логического вывода
• Реферат - Основные направления теории кодирования
• Курсовая - Компьютерный учет на предприятии (ресторан) с использованием RAD технологий проектирования и пакета Microsoft Access, в основе которого лежит концепция б
• Реферат - Основы теории реляционных баз данных.
• Учебник - Информационные компьютерные сети
• Курсовая - Методика преподавания темы «Системное программное обеспечение» в 9 классе общеобразовательной школы. Эвристический метод обучения.
• Контрольная - Эволюция компьютера в ХХ веке (поколения компьютеров отечественные ЭВМ) Информатика
• Эссе - Дисциплина «Правовая информатика»Итоговый контроль. Эссе“Классификация информационных технологий”
• Дипломная - Автоматизация процесса принятия решения по выдаче кредитной карты