Функциональное программирование (стр. 1 )

РОССИЙСКАЯ ФЕДЕРАЦИЯ

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»

Институт математики и компьютерных наук

Кафедра программного обеспечения

, ,

ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ

Учебно-методический комплекс. Рабочая программа

для студентов очной формы обучения специальности
010503.65 – «Математическое обеспечение и администрирование информационных систем»
специализация «Технология программного обеспечения»

Тюменский государственный университет

2013

ГЛАЗКОВА А. В., ОХОТНИКОВ Е. С., ПУШКАРЕВ А. Н. ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения специальности 010503.65 – «Математическое обеспечение и администрирование информационных систем» специализация «Технология программного обеспечения» (форма обучения очная). Тюмень, 2013, 17 стр.

Рабочая программа составлена в соответствии с требованиями ГОС ВПО.

Рабочая программа дисциплины опубликована на сайте ТюмГУ: Функциональное программирование [электронный ресурс] / Режим доступа: http://www. umk. ***** , свободный.

Рекомендовано к изданию кафедрой программного обеспечения. Утверждено проректором по учебной работе Тюменского государственного университета.

ОТВЕТСТВЕННЫЙ РЕДАКТОР: , д. п.н., профессор.

© ФГБОУ ВПО «Тюменский государственный университет», 2013.

© , , 2013.

1.  Пояснительная записка.

1.1.  Цели и задачи дисциплины

Целью дисциплины является изучение и практическое освоение средств функционального программирования для решения научных и прикладных задач, в том числе изучение парадигм программирования, используемых при решении задач искусственного интеллекта и элементами инженерии знаний; знакомство с теоретической базой, используемой при решении неформализуемых задач. В качестве инструментального средства изучается язык ЛИСП. Рассматриваются теоретические и прикладные аспекты использования программных средств для решения задач искусственного интеллекта. Задачи дисциплины – развитие современного профессионального мировоззрения и знакомство с нестандартными подходами к решению задач на компьютерах; получение первичных навыков построения моделей на основе функциональной парадигмы; знакомство с техникой программирования задач искусственного интеллекта.

1.2.  Место дисциплины в структуре ООП

Дисциплина относится к циклу ДС (дисциплины специальности) и дает базовую основу для понимания, анализа и оценки основных проблем, связанных с разработкой, внедрением и сопровождением программных продуктов, применения технологий формирования и управления специфическими процессами и ресурсами проектирования, планирования, разработки и внедрения ПО. Курс подготавливает выпускника к работе в современной компании, разрабатывающей и/или внедряющей программные средства, которая рассматривает информационно-коммуникационные технологии и методы в качестве средства, способного обеспечить компании определенные конкурентные преимущества.

В результате освоения дисциплины обучающийся должен:

·  Иметь представление:

об основных понятиях, определениях и методах решения слабоформализуемых задач с помощью методов функционального программирования;

·  Знать:

особенности задач искусственного интеллекта и роль функционального и логического программирования как методологий решения этих задач; теоретические основы и прикладные средства функционального программирования; тенденции и перспективы развития инструментальных средств декларативного программирования.

·  Уметь:

использовать теоретические основы и прикладные средства функционального программирования при решении практических задач, в частности, задач искусственного интеллекта; практически решать типичные экономические задачи методами имитационного моделирования; решать достаточно сложные в вычислительном отношении задачи, требующих их численной реализации на ЭВМ.

·  Иметь навыки:

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

2.  Структура и трудоемкость дисциплины.

Таблица 1.

Вид учебной работы	Семестры
9
Аудиторные занятия (всего)	39
Лекции	26
Лабораторные занятия	13
Самостоятельная работа (всего)	25
Вид промежуточной аттестации	Контрольная, зачет
Общая трудоемкость	64

3.  Тематический план.

Таблица 2.

№	Тема	Недели семестра	Виды учебной работы и самостоятельная работа, в час.	Итого часов по теме	Итого количество баллов
Лекции	Лабораторные занятия	Самостоятельная работа
1	2	3	4	5	6	7	9
	Модуль 1
1.1.	Введение в проблематику функционального программирования. Процедурные и декларативные языки программирования.	1	2		2	4	0-7
1.2.	Теоретические основы функционального программирования. Лямда-исчисление А. Черча. Языки функционального программирования.	2-3	4	2	2	8	0-19
	Всего		6	2	4	12	0-26
	Модуль 2
2.1.	Основные понятия функционального программирования. Основные понятия функционального программирования. Основы языка Лисп. Символы, константы, атомы, логические значения. Базовые функции.	4-7	8	4	7	19	0-19
2.2.	Определение функции в программе. Передача параметров в Лиспе.	8	2		3	5	0-12
2.3.	Управляющие структуры.	9	2	2	2	6	0-10
	Всего		12	6	12	30	0-41
	Модуль 3
3.1.	Рекурсивный стиль программирования.	10-11	4	2	3	9	0-14
3.2.	Функционалы.	12	2	2	3	7	0-14
3.3.	Средства ввода и вывода.	13	2	1	3	6	0-5
	Всего		8	5	9	22	0-33
	Итого по дисциплине (часов, баллов)		26	13	25	64	0-100

Таблица 3.

Виды и формы оценочных средств в период текущего контроля

№ темы	Устный опрос	Письменные работы	Технические формы контроля	Информационные системы и технологии	Итого количество баллов
коллоквиумы	собеседование	ответ на семинаре	лабораторная работа	контрольная работа	тест	реферат	эссе	программы компьютерного тестирования	комплексные ситуационные задания	электронные практикум	другие формы
Модуль 1
1.1		0-7											0-7
1.2	-	0-7		0-12	0-7								0-19
Всего		0-14		0-12	0-7								0-26
Модуль 2
2.1		0-4		0-8									0-19
2.2				0-4	0-8								0-12
2.3		0-2		0-8									0-10
Всего		0-6		0-20	0-8								0-41
Модуль 3
3.1		0-5		0-9									0-14
3.2		0-8		0-6									0-14
3.3		0-5											0-5
Всего		0-18		0-15									0-33
Итого		0-38		0-47	0-15								0-100

Таблица 4.