Файл: Учебные пособия по логическому и функциональ ному программированию В. М. Зюзькова. В пособие внесены изменения в 2020 г.pdf

69
7. РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Основная литература по логическому программированию
1. Братко И. Программирование на языке Пролог для искусственного интел- лекта. - М.:Мир,1990.-560с.
2. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. -
М.: Мир, 1990. -235 с.
Дополнительная литература по логическому программированию
1. Малпас Дж. Реляционный язык Пролог и его применение. - М.: Наука,
1990. -464 с.
2. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер.с франц./Тейз А., Грибомон П.,
Луи Ж. и др. - М.:Мир,1990.-432 с.
Основная литература по функциональному программированию
1. Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т.- М.: Мир,1990.
2. Хендерсон П., Функциональное программирование. Применение и реали- зация. - М.: Мир, 1983. - 349 с.
Дополнительная литература по функциональному программированию
1. Филд А., Харрисон П. Функциональное программирование. - М.: Мир,
1993. - 637 с.
2. Бердж В. Методы рекурсивного программирования. - М.: Машинострое- ние, 1983. - 248 с.
3. Барендрегт Х. Ламбда - исчисление. Его синтаксис и семантика. - М.: Мир,
1985. - 606 с.

70
ПРИЛОЖЕНИЕ 1
ФОРМА ТИТУЛЬНОГО ЛИСТА К КУРСОВОЙ РАБОТЕ
Министерство науки и высшего образования Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего образования
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ СИСТЕМ
УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ (ТУСУР)
Кафедра автоматизированных систем управления (АСУ)
Нахождение компонент связности графа
Пояснительная записка к курсовой работе по дисциплине
«Логическое программирование»
Студент гр. 436-1
С. С. Лавров
_____________
(дата)
20__

71
ПРИЛОЖЕНИЕ 2
ФОРМА ЗАДАНИЯ ДЛЯ КУРСОВОЙ РАБОТЫ
Министерство науки и высшего образования Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего образования
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ СИСТЕМ
УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ (ТУСУР)
Кафедра автоматизированных систем управления (АСУ)
УТВЕРЖДАЮ зав. кафедрой АСУ
_____________
(Ф. И. О.)
_____________
(дата)
ЗАДАНИЕ по курсовому проектированию по дисциплине
«Логическое программирование» студенту_____________________________________________ группа______________
1. Тема проекта: Нахождение компонент связности графа
2. Срок сдачи студентом законченной работы): __________.
3. Исходные данные к проекту (здесь должен быть текст задания)
4. Дата выдачи задания: _________.
Задание принял к исполнению
(Ф. И. О.)

72
ПРИЛОЖЕНИЕ 3
ПРИМЕР ОФОРМЛЕНИЯ СОДЕРЖАНИЯ
СОДЕРЖАНИЕ
1. Введение 5 2. Анализ задачи 8 3. Решение задачи 10 3.1. Выбор алгоритма и структур данных 10 3.2. Описание алгоритма 14 3.3. Выбор набора тестов 18 4. Заключение 25
Список литературы 26
Приложение 1. Листинг программы 27
Приложение 2. Распечатки тестов 29
ПРИЛОЖЕНИЕ 4
ПРИМЕРЫ БИБЛИОГРАФИЧЕСКИХ ОПИСАНИЙ ИСТОЧНИКОВ,
ПОМЕЩАЕМЫХ В СПИСОК ЛИТЕРАТУРЫ
1. Хендерсон П. Функциональное программирование. Применение и реализа- ция. - М.: Мир, 1983. - 349 с.
2. Филд А., Харрисон П. Функциональное программирование. - М.: Мир,
1993. - 637 с.
3. Шеховцов А. С. Квазисинхронное регулирование гистерезисных электро- двигателей // Тез. докл. на науч.-техн. конф. 21-23 дек. 1998 г. - Т. 4 - Томск:
Издательство Томского государственного педагогического университета,
1999. - 133 с.
4. Калянов Г. Н. CASE-технологии проектирования программного обеспече- ния // Кибернетика и системный анализ. - 1993. - №5. - С. 152-164.