Geum.ru

Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии

Вид материалаРабочая учебная программа

Содержание


Цель и задачи
Объем дисциплины и виды учебной работы
Содержание дисциплины
Содержание программы 1. Парадигмы программирования
2. Функциональное программирование. Язык Лисп.
3. Логическое программирование. Язык Пролог.
Содержание лабораторных работ
Содержание практических занятий
Учебно-методическое обеспечение дисциплины Основная литература
Дополнительная литература
Подобный материал:

Министерство образования и науки Российской Федерации

Южно-Уральский государственный университет

Кафедра системного программирования


УТВЕРЖДАЮ

Декан механико-

математического факультета

______________ А.Д. Дрозин


РАБОЧАЯ УЧЕБНАЯ ПРОГРАММА

дисциплина ЕН.В.02 Функциональное и логическое программирование

для специальности 010400 Информационные технологии

факультет Механико-математический

кафедра-разработчик Системное программирование


Рабочая программа составлена в соответствии с Государственным образовательным стандартом высшего профессионального образования и примерной программой дисциплины по специальности 010400 Информационные технологии.


Рабочая программа рассмотрена и одобрена на заседании кафедры системного программирования, протокол № ___ от _________ .


Зав. кафедрой Л.Б. Соколинский


Ученый секретарь М.Л. Цымблер


Разработчик:

ассистент М.В. Иконников

  1. Цель и задачи


Целью курса является изучение парадигм, основных языков и методов программирования, используемых при решении задач искусственного интеллекта и инженерии знаний;

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

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


№

п/п
Вид учебной работы
Всего
по семестрам

7.

1.
Общая трудоемкость
85
85

2.
Аудиторные
81
81

2.1.
Лекции
27
27

2.2.
Практические
18
18

2.3.
Лабораторные
36
36

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






4.
Индивидуальная работа






5.
Контрольное мероприятие
4
4

5.1.
Зачет






5.2
Консультации
2
2

5.3.
Экзамен
2
2



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


№

п/п
Раздел дисциплины
Всего
По видам

Лекц.
Практ.
Лабор.
Самост.
Инд.

1.
Парадигмы программирования
3
3
0
0






2.
Функциональное программирование. Язык Лисп.
39
12
9
1818






3.
Логическое программирование. Язык Пролог.
39
12
9
1818









ИТОГО
81
27
18
3636





  1. Содержание программы

1. Парадигмы программирования


Основные виды парадигм и стилей программирования. Парадигмы функционального и логического программирования.

2. Функциональное программирование. Язык Лисп.


Базовые понятия, основные идеи. Введение в язык Лисп. Обработка списков. Управляющие структуры. Рекурсия и ее разновидности. Отображения и функционалы. Функции высших порядков и лямбда-выражения. Композиции функционалов, фильтры, редукции.

3. Логическое программирование. Язык Пролог.


Введение в язык Пролог. Базовые понятия и основные идеи. Синтаксис и семантика Пролога. Рекурсия. Обработка списков. Сортировка. Основные предикаты. Логика предикатов. Обработка структурированных данных. Работа с файлами. Решение задач из области искусственного интеллекта на Прологе.


  1. Содержание лабораторных работ


№
Раздел дисциплины
Лабораторная работа
Часы

1
Введение в предмет
Установка программ, знакомство с интерпретаторами XLisp, SWI Prolog
2

2
Обработка списков в Лиспе
Решение задач на обработку списков
2

3
Итеративные вычисления
Решение задач с применением циклов

2

4
Рекурсия в Лиспе
Решение задач с применением рекурсии
2

5
Отображения и функционалы
Решение задач с применением функционалов
2

6
Введение в Пролог
Решение задачи о родственных связях
2

7
Обработка списков в Прологе
Решение задач на обработку списков
2

8
Структуры данных в Прологе
Обработка структур данных в Прологе
2

9
Искусственный интеллект
Решение задач ИИ на Прологе
2



  1. Содержание практических занятий


№
Раздел дисциплины
Практическая работа
Часы

1
Программирование на Лиспе
Решение простейших задач
2

2
Рекурсия и итеративные вычисления в Лиспе
Решение задач с применением циклов и рекурсии
2

3
Введение в программирование на Прологе
Разбор решений задач из лабораторных работ
2

4
Искусственный интеллект
Решение задач ИИ на Прологе
2



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

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


1. Новицкая Ю.В. Основы логического и функционального программирования: [ссылка скрыта], 2008.

2. Демидов А.К. Функциональное и логическое программирование. (учебное пособие). – Челябинск, изд. ЮУрГУ, 2000.

3. Городняя Л.В. Основы функционального программирования

Интернет-университет информационных технологий - ИНТУИТ.ру, 2004.

4. Шрайнер П.А. Основы программирования на языке Пролог

Интернет-университет информационных технологий - ИНТУИТ.ру, 2005.

Дополнительная литература


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

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

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

4. Стобо Дж. Язык программирования Пролог. – М.: Мир, 1993.

5. Хендерсон П. Функциональное программирование: применение и реализация. - М.: Мир, 1983.

6. Маурер У. Введение в программирование на языке ЛИСП. – М.: Мир, 1978.

7. Филд Д, Харрисон П. Функциональное программирование – М.: Мир, 1993.


Челябинск-2008