Главная - IT - Информатика - Определение компонент связности на Лиспе

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

  • Тема: Определение компонент связности на Лиспе
  • Автор: Юлия
  • Тип работы: Курсовая
  • Предмет: Информатика
  • Страниц: 21
  • Год сдачи: 2010
  • ВУЗ, город: Москва
  • Цена(руб.): 1500 рублей

Купить
Заказать оригинальную работу


Выдержка

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

Купить
Заказать оригинальную работу


Похожие работы

Название Тип Год сдачи Страниц ВУЗ, город Цена
Средства аудита в операционных системах класса Unix Курсовая 2011 22 Москва 1500 Купить Заказать
оригинальную
Реализация протокола клиент и сервер, для решения квадратных уравнений на языке С используя опер-сист Windows и среду разработки Цыгвин Курсовая 2011 26 Москва 1500 Купить Заказать
оригинальную
Компьютерные программы учебного назначения Курсовая 2011 32 ДГТУ 1000 Купить Заказать
оригинальную
Структура и состав ПЭВМ и их технические характеристики Курсовая 2011 15 Москва 1500 Купить Заказать
оригинальную
Создание сайта Курсовая 2010 14 Москва 1500 Купить Заказать
оригинальную
Информационные ресурсы Курсовая 2010 25 Москва 1500 Купить Заказать
оригинальную
Расчет технического и эксплуатационного штата блока основного производства Курсовая 2011 27 Москва 1500 Купить Заказать
оригинальную
Посекторное копирование с диска 3,5 (А:) с очисткой незанятых секторов Курсовая 2010 18 Москва 1500 Купить Заказать
оригинальную