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

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

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

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

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

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

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

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

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

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

1. 
   Типы данных языка.
   
2. 
   Представление данных в памяти.
   
3. 
   Выполнение Лисп-программы.
   
4. 
   Селекторы и конструктор.
   
5. 
   Элементарные предикаты.
   
6. 
   Арифметические и логические встроенные функции.
   
7. 
   Встроенные функции для работы со списками.
   
8. 
   Функции, определенные пользователем.
   
9. 
   Разработка рекурсивных функций.
   
10. 
    Рекурсивные функции для работы с числами.
    
11. 
    Элементы структурного программирования : функции Set, Setq, Progn.
    
12. 
    Встроенные функции, модифицирующие списки.
    
13. 
    Встроенные функции для работы с атомами.
    
14. 
    Ассоциативные списки.
    
15. 
    Функции высших порядков.
    
16. 
    Ввод-вывод в Лиспе.
    
17. 
    Применение Лиспа для работы с графами.
    

• 
  специально оборудованные аудитории и компьютерные классы с локальной сетью и выходом в Интернет;
  
• 
  персональные компьютеры (модели не ниже Pentium);
  
• 
  различные технические и аудиовизуальные средства обучения;
  
• 
  программное обеспечение дисциплины: Hugs-98 − интерпретатор языка Haskell на платформе ОС Linux или ®Windows.
  

1. 
   Изложение лекционного курса традиционное.
   
2. 
   Семинарские занятия ведутся по разработанному плану, который предусматривает обсуждение теоретических и практических аспектов разработки программ на функциональных языках.
   
3. 
   Практические занятиях проходят в компьютерных классах. Студенты выполняют практические задания на компьютере и оформляют в рабочей тетради.
   
4. 
   Самостоятельная деятельность студентов включает изучение теоретического материала и решение практических задач.
   
5. 
   Диагностика качества знаний осуществляется в форме рейтинга, предусматривающего получение не менее 9 оценок за знание теории, за умение решать задачи и за выполнение практических заданий.
   

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