Рабочая программа дисциплины функциональное программирование



Скачать 161.85 Kb.
Дата22.12.2012
Размер161.85 Kb.
ТипРабочая программа
Министерство образования Российской Федерации
Санкт-Петербургский государственный электротехнический

университет “ЛЭТИ”


РАБОЧАЯ ПРОГРАММА

дисциплины

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



Для подготовки дипломированных специалистов по направлению 654600 –“Информатика и вычислительная техника” по специальности 220400 - Программное обеспечение вычислительной техники и автоматизированных систем”

и бакалавров по направлению 552800 – «Информатика и вычислительная техника»

Санкт-Петербург

2001
Санкт-Петербургский государственный электротехнический

университет “ЛЭТИ”

“УТВЕРЖДАЮ”
Проректор по учебной работе
проф. ___________ Ушаков В.Н.
“_____”_______________2001 г.

РАБОЧАЯ ПРОГРАММА
дисциплины

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



Для подготовки дипломированных специалистов по направлению 654600 –“Информатика и вычислительная техника” по специальности 220400 - Программное обеспечение вычислительной техники и автоматизированных систем”

и бакалавров по направлению 552800 – «Информатика и вычислительная техника»

Факультет Компьютерных технологий и информатики

Кафедра Математического обеспечения ЭВМ
Курс – 3

Семестр – 5


Лекции

32 ч.




Текущий контроль

5 семестр
















Курсовое проектирование

16 ч.













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

48 ч.

Самостоятельные занятия

42 ч.

Всего часов

90 ч.


2001

Рабочая программа обсуждена на заседании кафедры Математического обеспечения ЭВМ “____”_______________2001 г., протокол №______.


Рабочая программа согласована с рабочими программами изученных ранее дисциплин:

1) «Программирование»

2) «Алгоритмы и структуры данных»
Рабочая программа одобрена методической комиссией факультета Компьютерных технологий и информатики
“____”_____________2001г.

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

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


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




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




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



Содержание рабочей программы
Тема 1. Введение в проблематику функционального программирования.



Применение функционального программирования в системах искусственного интеллекта. Задачи искусственного интеллекта. Современные парадигмы решения задач искусственного интеллекта. Особенности языков функционального программирования. Использование функционального программирования для разработки систем искусственного интеллекта.


Тема 2. Теоретические основы функционального программирования.
Рекурсивные функции и лямбда-исчисление А. Черча. Программирование в функциональных обозначениях. Понятие строго функционального языка. Представление и интерпретация функциональных программ.

Тема 3. Базовые функции языка ЛИСП.
Основные элементы языка: алфавит, синтаксис, семантика. Цикл работы интерпретатора. Атом, список, символьное выражение, функция. Селекторы, конструкторы и предикатные функции. Внутреннее представление списков.
Тема 4. Системные свойства символа.

Печатное имя, значение, определение функции, список свойств. Определение и модификация значений системных свойств. Обобщенная функция присваивания.

Тема 5. Определение функции.

Лямбда-выражение и лямбда-вызов. Функция определения функции. Список аргументов. Сопоставление формальных и фактических параметров при оценивании лямбда-вызова.

Тема 6. Управляющие структуры.

Классификация управляющих структур. Структуры следования, разветвления и повторения. Программирование в императивном стиле средствами функционального языка.
Тема 7. Рекурсивный стиль программирования.

Основы теории рекурсивных функций. Средства и приемы построения рекурсивных программ. Сравнение рекурсивного и итеративного подхода к реализации алгоритмов.
Тема 8. Функционалы.

Понятие функционала. Применяющие и отображающие функционалы. Организация циклических вычислений с применением функционалов. Примеры решения задач.
Тема 9. Ввод и вывод.

Организация работы с файлами. Основные функции ввода/вывода информации. Макросы чтения. Программирование с использованием «черепаховой графики».
Тема 10. Объектно-ориентированное программирование средствами ЛИСПа.

Концепции организации интерфейса. Классы, методы, наследование. Примеры создания и инициализации объектов.

Тема 11. Заключение.

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

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

Распределение учебных часов по темам и видам занятий




темы

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

Объем учебных часов

Лекции

Лабор.

Занятия

Практ.

занятия

Аудит.

Занятия

Самост.

Работа

Всего

1

Введение в проблематику функционального программирования.

2







2

2

4

2

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

3







3

2

5

3

Базовые функции языка ЛИСП.

1







1

2

3

4

Системные свойства символа.

2







2

3

5

5

Определение функции.

2







2

2

4

6

Управляющие структуры.

3







3

2

5

7

Рекурсивный стиль программирования.

5







5

2

7

8

Функционалы.

4







4

3

7

9

Ввод и вывод.

4







4

2

6

10

Объектно-ориентированное программирование средствами ЛИСПа.

4







4

2

6

11

Заключение.

2







2




2

Курсовое проектирование










16

20

36

ИТОГО:

32







48

42

90


Методика текущего контроля

По окончании изложения материала каждого из важнейших разделов курса на лекции проводится контрольная, рассчитанная на 15-20 мин. Успешное выполнение заданий, содержащихся в контрольной работе, демонстрирует, что студент усвоил теоретический материал последних лекций и может применить его при решении задач.

График текущего контроля


Номер контрольной

Выполняется после завершения изучения темы

Номер недели (ориентировочно)

1

3

3

2

5

5

3

7

9

4

9

13


ЛИТЕРАТУРА
Основная




Название, библиографическое описание

Л

Кп

(р)

Инд.

зад.

К-во экз. в библ. (на каф.)

Гриф

1

Хювенен Э., Сеппянен И. Мир ЛИСПа. В 2 т. - М.: Мир, 19901

5

5




Т1: 54; Т2: 61

ГК СССР по нар.обр.

2

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

5

5




Уч 8; ф 3

Ком. по ВШ Мин. науки

3

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

5

5




29

МВ и ССО СССР



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




Название, библиографическое описание

К-во экз. в библ. (на каф.)

1

Уинстон П. Искусственный интеллект. М., Мир, 1990

0

2

Steel G.L. COMMON LISP: The Language. 2nd ed., 1990

0


Основная литература, поименованная под номерами 1-3, представляет собой переводы с английского языка книг, которые используются в качестве учебных в других странах. Они содержат материал, отвечающий направленности дисциплины «Функциональное программирование», и поэтому разумно использовать их при проработке лекционного материала и выполнения курсовой работы.


Автор:




(сК. т. н., доц.

Чебоксарова Т.Н.







Рецензент




К. т. н., доцент

Сульповар В.Л.







Зав. Кафедрой Математического обеспечения ЭВМ




Д .т. н., проф.

Лисс А.Р.







Декан факультета Компьютерных технологий и информатики




Д. т. н., проф.

Герасимов И.В.







Программа согласована:

































Зав. отделом учебной литературы

Смирнова О.Н.



















Председатель методической комиссии факультета Компьютерных технологий и информатики





К.т.н., доц.

Чугунов Л.А.







Руководитель методического отдела




к.т.н., доцент

Марасина Л.А.










1 Основная литература, поименованная под номерами 1-3, представляет собой переводы на русский язык книг, которые используются в качестве учебных в других странах. Они содержат материал, отвечающий направленности дисциплины «Функциональное программирование», и поэтому их разумно использовать при проработке лекционного материала и выполнении курсовой работы. Книга Стила, помещенная в таблицу дополнительной литературы под номером 2, является описанием стандарта Коммон Лиспа, она может использоваться как справочное пособие при написании программ, входящих в состав курсовой работы.




Похожие:

Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины функциональное программирование
Программирование с помощью функций и процедур. Рекурсивные функции и лямбда-исчисление А. Черча
Рабочая программа дисциплины функциональное программирование iconРабочая программа по курсу "Функциональное программирование" Специальность: 351500. 65 «Математическое обеспечение и администрирование информационных систем»
«Функциональное программирование» составлена на основании Государственного образовательного стандарта высшего профессионального образования...
Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины функциональное и логическое программирование
Для подготовки дипломированных специалистов по направлению 657100–”Прикладная математика по специальности 073000–“Прикладная математика...
Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины программирование профессиональный цикл, базовая часть Направление подготовки
Целью освоения дисциплины «Программирование» является формирование знаний и навыков по разработке алгоритмов и программ решения задач...
Рабочая программа дисциплины функциональное программирование iconРабочая учебная программа дисциплины Численные методы и прикладное программирование Направление подготовки
Целями освоения дисциплины Численные методы и прикладное программирование являются
Рабочая программа дисциплины функциональное программирование iconРабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование»
Л. 34 ч., Пр. 17 ч., Лаб раб. 17 ч., Инд раб. 34 ч., Ргр (2), Сам раб. 69 ч., Экз., Гэ, Всего 171 ч
Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины программирование на языке высокого уровня
Государственным образовательным стандартом высшего профессионального образования направления 552800 «Информатика и вычислительная...
Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины «Алгебра»
Рабочая программа дисциплины «Дополнительные Главы Алгебры» [Текст]/Сост. Рудаков А. Н.; Гу-вшэ.– Москва.– 2010.– 9 с
Рабочая программа дисциплины функциональное программирование iconРабочая программа учебной дисциплины «история медицины»
Рабочая программа предназначена для преподавания дисциплины вариативной части профессионального цикла студентам очной формы обучения...
Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины Специальность 032301. 65 «Регионоведение»
Этнология изучаемого региона [Текст]: Рабочая программа дисциплины для студентов очной и заочной форм обучения. Тюмень: гаоу впо...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org