Введение 2

1. Курсовая работа 3

Текст программы 9

Литература 15

В ходе изучения дисциплины "Рекурсивно-логическое программированиие" студенты должны получить теоретические знания и научиться применять полученные знания в практической работе. Формирование и закрепление навы-ков самостоятельной работы является неотъемлемой частью обучения. Формой учебной работы, непосредственно связанной с самостоятельным решением по-ставленных инженерных и исследовательских вопросов, являются курсовые работы.

Сформулировано задание на выполнение курсовой работы, приведены ва-рианты заданий для выбора.

Пособие предназначено для студентов заочной (дистанционной) формы обучения.

1. И.Соммервилл Инженерное програаммное обеспечениея. – М.: «Виль-ямс», 2002. 624 с.

2. Г. Буч Объектно-ориентированный анализ и проектирование с примерами приложений на C++, 2-е изд./Пер. с англ. М.: Издательство Бином, СПб: Невский диалект, 1998

3. Стерлинг Л. Шапиро Э. Искусство программирования на языке Пролог /Пер. с англ. М.: Мир, 1990

4. Братко,Иван Алгоритмы искусственного интеллекта на языке PROLOG;пер.с англ.:. / Иван Братко - М.: Вильямс, 2004

5. Логическое программирование. Сборник статей. / Под ред. В.Н. Агафоно-ва. М.: Мир, 1988

6. Язык Пролог в пятом поколении ЭВМ. / Сост. Н.И. Ильинский М.: Мир, 1988

7. Хоггер К. Введение в логическое программирование. М.: Мир, 1988

8. Клоксин У. Программирование на языке Пролог. / Меллиш К. М.: Мир, 1987

9. Малпас Дж Реляционный язык Пролог и его применение. М.: Наука, 1990

10. Братко И. Программирование на языке Пролог для искусственного ин-теллекта. М.: Мир, 1990

11. Набебин А.А. Логика и Пролог в дискретной математике. М.: Издатель-ство МЭИ, 1996

12. Чень Ч. Математическая логика и автоматическое доказательство теорем . / Ли Р М.: Наука, 1983

13. Hassan Ait-Kaci Warren s Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991

14. K. Apt Logic Programming // J. van Leeuwen (Ed.) Handbook of Theoretical Computer Science. MIT Press, 1990

Примечаний нет.