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




Скачать 76.44 Kb.
НазваниеРабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии
Дата21.12.2012
Размер76.44 Kb.
ТипРабочая учебная программа


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

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

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


УТВЕРЖДАЮ

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

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

______________ А.Д. Дрозин


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

дисциплина ЕН.В.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. Новицкая Ю.В. Основы логического и функционального программирования: [http://ermak.cs.nstu.ru/flp/], 2008.

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

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

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

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

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

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


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

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

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

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

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

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

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


Челябинск-2008

Похожие:

Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая программа дисциплины «Логическое и функциональное программирование»
Рабочая программа основана на требованиях Федерального государственного стандарта высшего профессионального образования по направлению...
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая программа по курсу "Функциональное программирование"
«Функциональное программирование» составлена на основании Государственного образовательного стандарта высшего профессионального образования...
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая программа учебной дисциплины «функциональное и логическое программирование»
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования (госвпо)...
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая учебная программа по курсу «Информационные технологии» (факультет прикладной информатики, математики и физики) для специальности прикладная информатика в экономике (заочное обучение, 2
Задача, поставленная перед студентами научиться применять информационные технологии для решения задач различных сфер деятельности,...
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая учебная программа по дисциплине «Информационные технологии в менеджменте» разработана в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования и учебным планом,
Информационные технологии в менеджменте [Текст]: рабочая учебная программа. Тюмень: гаоу впо то «тгамэуп». 2011. – 36 с
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование»
Л. 34 ч., Пр. 17 ч., Лаб раб. 17 ч., Инд раб. 34 ч., Ргр (2), Сам раб. 69 ч., Экз., Гэ, Всего 171 ч
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая программа Дисциплина сд. Ф. 07 Информационные технологии управления персоналом для специальности 080505. 65 «Управление персоналом»
Арм, классификация и принципы построения; арм кадровой службы; вычислительные сети, нейросетевые технологии и средства мультимедиа;...
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРекурсивно-логическое программирование учебная
Программа предназначена для учебных заведений высшего профессионального образования, ведущих обучение по специальности 351500 "Математическое...
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая учебная программа по дисциплине «Информационные технологии и средства дистанционного обучения» разработана в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования и учебным планом,
Информационные технологии и средства дистанционного обучения [Текст]: рабочая учебная программа. Тюмень: гаоу впо то «тгамэуп». 2011....
Рабочая учебная программа дисциплина ен. В. 02 Функциональное и логическое программирование для специальности 010400 Информационные технологии iconРабочая учебная программа факультет органической химии и технологии Кафедра хтпм и пм по химической технологии пластических масс Для специальности 250500
Рабочая учебная программа составлена на основании требований гос высшего профессионального образования
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница