Пример готовой контрольной работы по предмету: Логика
Содержание
Оглавление
ВВЕДЕНИЕ 5
ОСНОВНАЯ ЧАСТЬ РАБОТЫ 7
1 Анализ задачи 7
2 Выбор алгоритма и структур данных 8
3 Составление алгоритма 9
4 Конструирование набора тестов 10
ЗАКЛЮЧЕНИЕ 13
СПИСОК ЛИТЕРАТУРЫ 14
ПРИЛОЖЕНИЕ 1 Текст программы 15
ПРИЛОЖЕНИЕ 2 Результаты работы программы 18
Выдержка из текста
ВВЕДЕНИЕ
Тема данной работы – написание программы на XLisp, определяющей, является ли данный неориентированный граф связным. Целью её выполнения является приобретение навыков и овладение методами программирования комплексных задач на языках логического (функционального) программирования, а также подготовка к выполнению дипломного проекта.
Прежде всего кратко поясним, что такое Лисп. Лисп (LISP, от англ. LISt Processing language – «язык обработки списков»; современное написание: Lisp) – семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Создатель Лиспа Джон Маккарти занимался исследованиями в области искусственного интеллекта (в дальнейшем ИИ) и созданный им язык по сию пору является одним из основных средств моделирования различных аспектов ИИ [2].
Лисп является вторым в истории (после Фортрана) используемым по сей день высокоуровневым языком программирования, а также первым из сохранившихся в использовании языков, использующих автоматическое управление памятью и сборку мусора [1].
Традиционный Лисп имеет динамическую систему типов. Язык является функциональным, но начиная уже с ранних версий обладает также чертами императивности, к тому же, имея полноценные средства символьной обработки, позволяет реализовать объектно-ориентированность; примером такой реализации является платформа CLOS [4].
Связный граф – граф, содержащий ровно одну компоненту связности. Это означает, что между любой парой вершин этого графа существует как минимум один путь.
Прямым применением теории графов является теория сетей – и её приложение – теория электронных сетей. Например, все компьютеры, включенные в сеть Интернет, образуют связный граф, и хотя отдельная пара компьютеров может быть не соединена напрямую (в формулировке для графов – не быть соединены ребром), от каждого компьютера можно передать информацию к любому другому (есть путь из любой вершины графа в любую другую).
Видим, что актуальность выбранной темы обуславливается её фундаментальностью. Важно не только разобраться в сути проблемы и подхода «логического программирования», но и заложить основание для применения полученных знаний на практике.
Список использованной литературы
СПИСОК ЛИТЕРАТУРЫ
1. Лутай В.Н. Программирование на языках Лисп и Пролог. ТРТУ,1998.
2. Свободная онлайн-энциклопедия Википедия [Электронный ресурс].
– Режим доступа: http://ru.wikipedia.org/
3. Уилсон Р. Введение в теоpию гpафов. – М.: Миp, 1977.
4. Хювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х т. / Пер. с финск.. – М.: Мир, 1990.
