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



Скачать 66.75 Kb.
Дата31.12.2012
Размер66.75 Kb.
ТипРабочая программа
ГОУ ВПО «Глазовский государственный педагогический институт
имени В.Г. Короленко»

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



дисциплины

функциональное программирование




Специальность 010503.65 – «Математическое обеспечение и администрирование информационных систем»



Факультет социальных и информационных технологий



Кафедра информатики
Ведущие преподаватели:

А.Ю. Трефилова, к.п.н., старший преподаватель

Курс 3

Семестр 6
Всего аудиторных: 64 час.

лекционные 22 час.

семинарские 14 час.

практические 14 час.

КСР 14 час.

Самостоятельная работа 64 час.
Формы отчетности:

зачет есть

экзамен есть
Рабочая программа утверждена на заседании кафедры информатики 01.09.2009

Заведующий кафедрой О.Н. Уткина, к.п.н., доцент
Составитель А.Ю. Трефилова, к.п.н., старший преподаватель

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

1. Тематическое планирование




Наименование темы

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

Всего

Лек.

Сем.

Прак.



Программирование с помощью функций и процедур. Рекурсивные функции и лямбда-исчисление А. Черча

4

2

0

0



Рекурсивные функции и лямбда-исчисление А.
 Черча

12

2

2

4



Программирование в функциональных обозначениях

12

2

2

2



Функциональные языки

4

2

0

0



Строго функциональный язык: элементарные понятия

16

4

2

0



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

24

4

2

6



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

12

2

2

2



Соответствие между функциональными и императивными программами

8

2

2

0



Применения функционального программирования

8

2

2

0
Итого

50

22

14

14


2. Рекомендуемая литература
2.1. Основная литература

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


2.2. дополнительная ЛИТЕРАТУРА

  1. Городняя, Л. В.Основы функционального программирования [Текст]:курс лекций: учебное пособие для студентов вузов.-М.:Интернет-Ун-т Информ. Технологий, 2004.-279 с.-(Основы информатики и математики). Рек. УМО в области прикладной информатики (2 шт.)

  2. Ездаков А.Л. Функциональное и логическое программирование. Учебное пособие. 199с.


2.3. Интернет-ресурсы

  1. http://www.intuit.ru – Интернет-университет информационных технологий

  2. http://www.citforum.ru – сервер информационных технологий.


3. Вопросы к зачету

  1. Типы данных языка.

  2. Представление данных в памяти.

  3. Выполнение Лисп-программы.

  4. Селекторы и конструктор.

  5. Элементарные предикаты.

  6. Арифметические и логические встроенные функции.

  7. Встроенные функции для работы со списками.

  8. Функции, определенные пользователем.

  9. Разработка рекурсивных функций.

  10. Рекурсивные функции для работы с числами.

  11. Элементы структурного программирования : функции Set, Setq, Progn.

  12. Встроенные функции, модифицирующие списки.

  13. Встроенные функции для работы с атомами.

  14. Ассоциативные списки.

  15. Функции высших порядков.

  16. Ввод-вывод в Лиспе.

  17. Применение Лиспа для работы с графами.


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

Самостоятельная работа студентов осуществляется с основной и дополнительной рекомендуемой литературой, а также – в компьютерном классе в присутствии лаборанта.
5. Материально-техническое обеспечение дисциплины

Для обеспечения дисциплины необходимы:

  • специально оборудованные аудитории и компьютерные классы с локальной сетью и выходом в Интернет;

  • персональные компьютеры (модели не ниже Pentium);

  • различные технические и аудиовизуальные средства обучения;

  • программное обеспечение дисциплины: Hugs-98 − интерпретатор языка Haskell на платформе ОС Linux или ®Windows.


6. Технология обучения

Технология обучения: 1) лекционный курс; 2) семинарские занятия; 3) практические занятия; 4) самостоятельная деятельность студентов; 5) диагностика качества знаний.

  1. Изложение лекционного курса традиционное.

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

  3. Практические занятиях проходят в компьютерных классах. Студенты выполняют практические задания на компьютере и оформляют в рабочей тетради.

  4. Самостоятельная деятельность студентов включает изучение теоретического материала и решение практических задач.

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

Новые формы и методы обучения: 1) средства организации познавательной деятельности; 2) организация самостоятельной работы; 3) ориентация на практическую деятельность; 4) организация научно-исследовательской деятельности студентов; 5) использование новых информационных технологий и вычислительной техники.

  1. Практические занятия проводятся на базе компьютерного класса, оснащенного IBM-совместимыми компьютерами с процессорами типа Celeron с операционной системой Linux Mandriva и свободным программным продуктом Hugs-98.

  2. Студенты изучают материал лекций. Они должны знать термины и положения, уметь самостоятельно решать типовые задачи, изучить литературу, рекомендованную в плане семинарских занятий. После изучения дисциплины студент должен знать следующие вопросы теории: Программирование с помощью функций и процедур; рекурсивные функции и лямбда-исчисление А.Черча; программирование в функциональных обозначениях; функциональные языки; строго функциональный язык: элементарные понятия; приемы программирования; представление и интерпретация функциональных программ; соответствие между функциональными и императивными программами; применение функционального программирования.

  3. На практических занятиях студенты работают с компьютером под руководством преподавателя. После выполнения компьютерного практикума у каждого студента остается тетрадь и электронный носитель информации, в которых приведены решения задач и результаты выполнения практических заданий. Учебный материал курса играет важную роль в формировании научного мировоззрения будущего программиста с точки зрения различных подходов к программированию: директивного и декларативного.

4. Студенты выполняют домашние контрольные работы, представляя преподавателю для проверки решение и оформление задачи.

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

Похожие:

Рабочая программа дисциплины функциональное программирование iconРабочая программа по курсу "Функциональное программирование" Специальность: 351500. 65 «Математическое обеспечение и администрирование информационных систем»
«Функциональное программирование» составлена на основании Государственного образовательного стандарта высшего профессионального образования...
Рабочая программа дисциплины функциональное программирование iconРабочая программа дисциплины функциональное программирование
Для подготовки дипломированных специалистов по направлению 654600 –“Информатика и вычислительная техника” по специальности 220400...
Рабочая программа дисциплины функциональное программирование 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