книга DipMaster-Shop.RU
поиск
карта
почта
Главная На заказ Готовые работы Способы оплаты Партнерство Контакты F.A.Q. Поиск
"Нелинейная цифровая фильтрация" ( Курсовая работа, 40 стр. )
"Основы теории управления"* ( Контрольная работа, 13 стр. )
"Программа для разархивации файла, созданного по алгоритму RLE" ( Контрольная работа, 11 стр. )
"Технология "Millipede". Разработка модели форматирования в системе FAT 32." ( Контрольная работа, 10 стр. )
AJAX – интерфейс для системы CATS ( Курсовая работа, 13 стр. )
CMS для компании «КАРЛЭНД Сервис» ( Отчет по практике, 26 стр. )
JST Компилятор Smalltalk JVM ( Курсовая работа, 24 стр. )
Microsoft Excel ( Контрольная работа, 28 стр. )
PaketForm. Система обработки заявок на открытие счетов в ОАО АКБ «Росбанк». ( Отчет по практике, 29 стр. )
program z5 ( Контрольная работа, 11 стр. )
Web-рейтинг “Active Student” ( Курсовая работа, 13 стр. )
АВТОМАТИЗАЦИЯ ПРОЦЕССА ЮНИТ-ТЕСТИРОВАНИЯ ПРИЛОЖЕНИЯ «ПОЧТОВЫЙ КЛИЕНТ»: APPLICATION LAYER ( Курсовая работа, 22 стр. )
АВТОМАТИЗАЦИЯ ПРОЦЕССА ЮНИТ-ТЕСТИРОВАНИЯ ПРИЛОЖЕНИЯ «ПОЧТОВЫЙ КЛИЕНТ»: APPLICATION LAYER 2007-23 ( Курсовая работа, 23 стр. )
Автоматизация процесса создания выходной документации для ОАО “Черногорский Завод Искусственных Кож ( Дипломная работа, 182 стр. )
Автоматизированная система управления ОПтК ( Курсовая работа, 43 стр. )
Автоматизированная система оперативно-диспетчерского управления (АСОДУ) патентно-правового бюро «Эксперт» ( Дипломная работа, 116 стр. )
Автоматизированное рабочее место «СЕССИЯ» ( Курсовая работа, 41 стр. )
Автоматическое обновление метаданных на основе версий DDL ( Курсовая работа, 14 стр. )
Алгоритмизация и программирование процессов обработки данных ( Контрольная работа, 9 стр. )
Алгоритмические языки и программирование ( Курсовая работа, 31 стр. )
Алгоритмические языки высокого уровня. Структура формального алгоритмического языка ( Контрольная работа, 14 стр. )
Алгоритмические языки и теория програмирования ( Курсовая работа, 41 стр. )
Алгоритмический язык Паскаль ( Контрольная работа, 20 стр. )
Алгоритмы работы с некоторыми структурами данных при программировании на Delphi. ( Контрольная работа, 40 стр. )
Анализ потоков управления для языка программирования Pascal ( Курсовая работа, 6 стр. )

Введение 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

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

2000-2024 © Copyright «DipMaster-Shop.ru»