Рабочая программа дисциплины рекурсивно-логическое программирование Для студентов специальности 35. 15. 00 - polpoz.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Учебно-методический комплекс по дисциплине Функциональное и логическое... 4 432.76kb.
Учебно-методический комплекс по дисциплине по выбору дв2 «логическое... 1 351.89kb.
Рабочая программа Дисциплины «Теория автоматов» Для студентов специальности... 1 56.98kb.
Рабочая программа для студентов специальности 080508. 65 «Информационный... 1 465.54kb.
Учебно-методический комплекс. Рабочая программа для студентов специальности... 1 238.37kb.
Учебно-методический комплекс. Рабочая программа для студентов специальности... 1 184.85kb.
Рабочая программа к ооп от № дисциплины б 02. 01 Информатика для... 1 126.6kb.
Программа дисциплины Программирование для направления 38. 03. 1 391.5kb.
Рабочая программа к ооп от № дисциплины с 01 Физическая культура... 1 191.86kb.
Рабочая программа дисциплины «Финансы, денежное обращение и кредит»... 1 148.58kb.
Учебно-методический комплекс. Рабочая программа для студентов специальности... 1 267.79kb.
Дисциплина «Алгоритмизация и программирование» входит в в вариативную... 1 23.33kb.
1. На доске выписаны n последовательных натуральных чисел 1 46.11kb.

Рабочая программа дисциплины рекурсивно-логическое программирование Для студентов - страница №1/1

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ




УТВЕРЖДАЮ


Декан ФВТ, профессор

_______________Б.Д. Шашков

“____”_______________2003 г.

РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ



Рекурсивно-логическое программирование

Для студентов специальности 35.15.00

МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ И АДМИНИСТРИРОВАНИЕ

ИНФОРМАЦИОННЫХ СИСТЕМ



Пенза, 2003 г.



Программу разработала к.т.н., доцент Глотова Т.В.
Программа одобрена

на заседани каф. «Системы автоматизированного проектирования»

протокол № ___от ___________ 2003 г.

Зав каф. «Системы автоматизированного проектирования»

д.т.н, пофессор А.М.Бершадский
Согласовано

Председатель НМК ФВТ

д.т.н., профессор П.П. Макарычев

Программа разработана в соответствии со следующими документами:
  • государственным образовательным стандартом минобразования РФ специальности 35.15.00;
  • рабочим учебным планом ПензГУ по специальности 35.15.00;





1. Цели и задачи дисциплины
Формирование у студентов общих методологичеких основ и практических навыков разработки программных систем с использованием рекурсивно-логического подхода к программированию.

2. Требования к уровню освоения содержания дисциплины

В результате изучения дисциплины студенты должны:
знать
  • роль и место языков логического программирования в индустрии проектирования программных систем и систем искусственного интеллекта;

  • основы рекурсивно-логического программирования;

  • синтаксис, семантику и основные конструкции языка логического программирования (Пролог);


уметь

  • использовать основные приемы практического программирования на Прологе;
  • уметь пользоваться средой разработки и отладки программ Пролога;
иметь опыт
  • разработки программ на языке Visual Prolog;
иметь представление
  • о рекурсивно-логическом программировании как об перспективном направлении развития программных систем с использованием искусственного интеллекта.


Перечень курсов, необходимых для изучения дисциплины:
  • Математическая логика
  • Алгоритмические языки и программирование.


3. Объем дисциплины и виды учебной работы.





Вид учебной работы

Всего часов

Семестр


Общая трудоемкость дисциплины

85

6

Аудиторные занятия

51

6

Лекции

34

6

Практические занятия (ПЗ)

-

-

Семинары (С)

-

-

Лабораторные работы (ЛР)

17

6

Самостоятельная работа

34

-

Курсовой проект (работа)

-

-

Расчетно-графические работы

-

-

Реферат

-

-

Другие виды самостоятельной работы

-

-

Вид итогового контроля (зачет, экзамен)




Экзамен

4. Содержание дисциплины.

4.1. Разделы дисциплины и виды занятий




Наиенование раздела

Кол-во


часов

Из них по видам занятий

Лекции

Л/р


1. Введение

3

2




Основы программирования на Прологе










2 Структра программы на Прологе

4

2

2

3 Процесс унификации

2

2




4 Стандартные предикаты

2

2




5 Рекурсия

4

2

4

Использование списков и деревьев.










6 Списки. Предикаты работы со списками

6

2

4

7 Деревья. Предикаты работы с деревьями

6

2

4

8 Представление графов в Прологе

2

2




9 Семантика программ Пролога

2

2




10. Подходы к программированию на языке Пролог.


2

2




11 Стиль программирования на Прологе

2

2




Базы данных и Пролог. Пролог и задачи искуственного интеллекта.











12 Способы создания БД в Прологе

4

2

2

13 Динамические БД

2

2




14 Использование языков логического программирования для представления знаний и создания экспертных систем.

2

2




Возможности Visual Prolog










15 Среда разработки программ Visual Prolog. Отладка программ.

3

2

1

16 Интерфейс визуального программирования в среде Visual Prolog.

2

2




17 Заключение

2

2






4.2. Содержание разделов дисциплины






Введение


Области применения языка Пролог. Процедурные и декларативные языки программирования. История развития языков рекурсивно-логического программирования. Версии Пролога. Неформальное введение в Пролог. Факты, правила, запросы. Примеры построения простейших баз данных и простейших баз знаний.

Основы программирования на Прологе.

Структура программ Пролога. Описание доменов и предикатов. Факты и правила. Цели программы. Виды запросов. Структуры данных. Составные объекты. Управление ходом выполнения программы. Механизм возврата. Откат. Унифика­ция. Правила унификации термов. Конкретизация и связность переменных. Отрицание и отсечение.

Рекурсия как метод программирования на Прологе Методы организации рекурсии. Стандартные встроенные пре­дикаты. Операторы работы с числовыми величинами. Ввод и вывод.

Использование списков и деревьев.

Представление списков. Различные операции над списками. Де­ревья. Предикаты работы с бинарными деревьями. Представление графов в Прологе.


Подходы к программированию на языке Пролог.

Семантика программ Пролога: декларативная модель, процедур­ная модель, модель в виде абстрактной машины. Подходы к програм­мированию на языке Пролог: реляционный, подход к программе с по­зиции потока данных, бихевиористический ("поведенческий") подход. Стиль программирования на Прологе.



Базы данных и Пролог. Пролог и задачи искуственного интеллекта.

Способы представления базы данных. Создание динамических баз данных. Запросы к базам данных. Использование языков логического программирования для представления знаний и создания экспертных систем.



Возможности Visual Prolog.

Среда разработки программ Visual Prolog. Отладка программ. Интерфейс визуального программирования в среде Visual Prolog.




5. Лабораторный практикум.





п/п


№ раздела

дисциплины



Наименование лабораторных работ

К-во

часов


1

2,15

Знакомство с средой разработки программ Visual Prolog

1

2

2,12

Построение простейших баз данных и баз знаний. Организация запросов и отладка программы.

2

3

2,15

Разработка программы моделирования работы схемы, содержащей логические элементы

2

4

5

Организация рекурсивных вычислений.

4

5

6

Работа со списками.

4




7

Работа с бинарными деревьями

4



6. Учебно-методическое обеспечение дисциплины.

7.1. Рекомендуемая литература

а) основная литература:

  1. Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ. -М.: Мир, 1993. -608с.

  2. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ./Под редакцией В.Н.Соболева. - М. Наука, 1990. -464с.

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


б) дополнительная литература:

  1. Доорс Дж., Рейблейн А.Р., Вадера С. Пролог — язык программирования будущего/Пер. с англ. — М.: Финансы и статистика, 1990.

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

  3. Стобо Дж. Язык программирования Пролог /Пер. с англ. — М.: Радио и связь, 1993.

  4. Макаллистер Дж. Искусственный интеллект и Пролог на мик­роЭВМ. Пер. с англ. -М.: Мир


7. Материально-техническое обеспечение дисциплины.
Лабораторные занятия проводятся в компьютерном классе с применением среды Visual Prolog





8. Переутверждение программы на очередной учебный год


Учебн.

Год


Учебн.

группа


Решение

кафедры


№ протокола
Решение
выпускающей
кафедры
протокола,
дата, подпись
зав. кафедрой

Лектор,

разработчик



программы
изменения


























































Примечание: Тексты изменений в рабочей программе прилагаются




Разработчик программы: Глотова Т.В.





izumzum.ru