РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ...
Post on 15-Sep-2020
7 Views
Preview:
TRANSCRIPT
МИНОБРНАУКИРОССИИФедеральное государственное автономное образовательное учреждение высшего образования
«Национальный исследовательский университет«Московский институт электронной техники»
й работеи.г. Игнатова~~~--~~--~--
2019 г.ff-----'------
РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ
«ФУНКЦИОНАЛЬНОЕ ПРОГР АММИРОВАНИЕ»
Направление подготовки - 01.04.04 «Прикладная математика»Программа - «Математические методы и моделирование в естественнонаучной и
технической сферах»Программа - «Цифровая обработка сигналов и изображений»
2019 г.
1. ПЕРЕЧЕНЬ ПЛАНИРУЕМЫХ РЕЗУЛЬТАТОВ ОБУЧЕНИЯ
Дисциплина участвует в формировании следующих компетенций образовательныхпрограмм:
Компетенции,формируемые в
Подкомпетенции,формируемые в
Индикаторы достижениякомпетенций/подкомпетенций
дисциплине дисциплинеОПК-3 «Способен опк.з.опразрабатыватьнаукоемкоепрограммноеобеспечение
Способен Знания:разрабатывать наукоемкое ИД-l(ОПК-З.фП) Знатьпрограммное обеспечение основные понятиядля автоматизации систем и функционального
с программирования, лямбда-для процессовавтоматизации систем использованием языков и исчисления, синтаксис ии процессов, а также приёмов функционального семантика языка Haskell илиразвивать программирования другого функционального языка.информационно-коммуникационныетехнологии»
Умения:ИД-2(ОПК-З.ФП) Уметьразрабатывать и тестироватьпрограммы в функциональнойпарадигме.
Опыт деятельности:ИД-l(ОПК-З.фП) Иметь опытразработки программногообеспечения для автоматизациисистем и процессов сиспользованием языков иприёмов функциональногопрограммирования
2. МЕСТО ДИСЦИПЛИНЫ В СТРУКТУРЕ ОБРАЗОВАТЕЛЬНОЙПРОГРАММЫ
Дисциплина входит в обязательную часть Блока 1 «Дисциплины (модули)»образовательной программы.
Входные требования к дисциплине: знакомство спрограммированием, объектно-ориентированным программированием.
императивным:
2
3. ОБЪЕМ ДИСЦИПЛИНЫ И ВИДЫ УЧЕБНОЙ РАБОТЫ
1 2 з 108
Контактная работа
8 24 76 ЗаО
4. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Контактная работа
Х!!И наименованиемодуля
1. Основы Haskell
2. Разработка библиотеки программ на Haskell
12
12
4
4
~C"J
=~~~~ Формы текущего контроляеf-o C"J1;,1 f-oQ Q::;;: \.сC"J C"JU ~
20
20
4.1. Лекционные занятияНе предусмотрены
4.2. Практические занятия
Лабораторная работа NQ 1Лабораторная работа NQ2Лабораторная работа NQЗЛабораторная работа NQ4
е ):=••• :=... е f-o~ ~ t:I::
~ = 1;,1 =~ := ~ C"J Краткое содержание~ ::r м~ = := ::;;: --=:= f-oе :r ~ ~ ~~ 1;,1 C"J ~ ~~ ё ~
= о':1 2 Парадигмы программирования. Функциональное программирование.
1 Классификация функциональных языков. Базовые типы и основысинтаксиса языка Haskell.
2 2 Сопоставление с образцом. Алгебраические типы данных. Списки какалгебраический тип данных. Работа со списками. Выборки из списков.Параметризованные типы, классы типов.
3 2 Функции высшего порядка. Замыкания. Частичное применениефункций. Лямбда-исчисление.
4 2 Абстракция данных. Основные структуры данных в стандартнойбиблиотеке Haskell.
з
5 2 Порядок вычислений. Ленивость и строгость.6 2 Свёртки И развёртки списков и других алгебраических типов.
Моноиды.2 7 2 Тестирование программ на Haskell. Библиотеки HUnit, QuickCheck.
8 2 Подход к конструированию программ «сверху вниз». Библиотекикомбинаторов.
9 2 Доказательство свойств функций. Рассуждение с помощью равенств.10 2 Типы высших сортов. Функторы, аппликативные функторы, монады.11 2 Ввод/вывод. Реализация исполняемых программ.12 2 Параллелизм и многозадачность.
4.3. Лабораторные занятия
2 3 2 Функторы и монады
1- 1 2 Реализация простых функций на языке Haskell.2 2 Классы типов.
4 2 Трансформеры монад, написание исполняемых программ
4.4. Самостоятельная работа студентов
,==•.. ==..с ~== 1:1:
1:1:== ==~ ~ ~ Вид СРСЕ' 1: м
==~ .-•..с> ::r Q) ..с
~ <:.1 ,Q <:.1
~~~ ~о ="''-'
1 38 Изучение других языков ФП, подготовка к лабораторным работам2 38 Изучение других языков ФП, подготовка к лабораторным работам,
подготовка к зачету
4.5. Примерная тематика курсовых работ (проектов)Не предусмотрены
5. ПЕРЕЧЕНЬ УЧЕБНО-МЕТОДИЧЕСКОГО ОБЕСПЕЧЕНИЯ ДЛЯСАМОСТОЯТЕЛЬНОЙ РАБОТЫ
Учебно-методическое обеспечение для самостоятельной работы студентов в составеУМК дисциплины (ОРИОКС, httР://OIiоks.шiеt.щ[):Модуль 1 «Основы Haskell»../ Примерные задания лабораторных работ М] и М2
4
./ Онлайн-ресурсы, указанные в разделах б и 7Модуль 2 «Разработка библиотек и программ на Haskell»./ Примерные задания лабораторных работ М!3 и М!4./ Онлайн-ресурсы, указанные в разделах б и 7
6. ПЕРЕЧЕНЬ УЧЕБНОЙ ЛИТЕРАТУРЫ
Литература
1. Функциональное программирование: Учебник и практикум для академическогобакалавриата / А.А. Кубенский, - М. : Юрайт, 2019. - 348 с. - (Бакалавр.Академический курс).
2. Практика работы на языке Haskell [Электронный ресурс] / р.в. Душкин. - М. : ДМКПресс, 2010. - 288 с. - Доступ к электронной версии книги открыт на сайтеhttp://e.lanbook. com/.
7. ПЕРЕЧЕНЬ РЕСУРСОВ СЕТИ «ИНТЕРНЕТ»
1. А. Холомьёв. Учебник по Haskell. Онлайн-ресурс, http://anton-k.github.io/ru-l1askell-ЬооklЬооklhоше.htшl (PDF версия http://anton-k.github.io/ru-l1askell-booklfiles/ru-haskell- book. pdf)
2. Bryan O'Sullivan, Don Stewart, and John Goerzen, Real World Haskell. Онлайн-ресурс,http://book.realw01'ldhaskell.01'g/read/
3. Miran Цроуаба, Leam Уои а Haskell for Great Good! Онлайн-ресурс,httр://lеаmуоuаl1аskеll.сош/
4. Siшоп Marlow, Paтallel and Сопсuпепt Рrоgrarnшiпg in Haskell. Онлайн-ресурс,llttр://сl1i111еrа.lаЬs.О1'еillу.сош/Ьооks/1230000000929 /il1dеХ.htшl
5. Документация GHC11ttрs://dОW1110аds.hаskеll.оrg/~gllс/1аtеst/dосs/htшl/usеl'S guidе/iпdех.htшl иhttps:/ /d0Wl110ads.haskell.org/~ghc/1atest/ dосs/htшl/liЬrаl'iеs/iпdеХ.htшl
6. Haskell Wiki http://www.haskell.01'g/haskellwiki/Haskell
8. ПЕРЕЧЕНЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Компилятор языка Haskell.Текстовый редактор (Visual Studio Code или другой).Корпоративная
(httР://О1'iоks.шiеt.ru).информационно-технологическая платформа ОРИОКС
5
9. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
НаименованиеОснащенность специальных
специальныхпомещений и помещений для
Переченьпомещений и
самостоятельной работыпрограммного
помещений для обеспечениясамостоятельной работыМультимедийная учебная Компьютер с ПО и возможностьюаудитория для проведения подключения к сети Интернет ипрактическихзанятий обеспечением доступа в электронно-
образовательную среду МИЭТ;телевизоры;акустическое оборудование(микрофон, звуковые колонки)
Учебная аудитория для КлассПК GHCi (Haskell) 2007проведения лабораторныхработУчебные аудитории для Компьютерная техника ссамостоятельной работы возможностью подключения к сети
«Интернет» и обеспечением доступа вэлектронно-образовательную средуМИЭТ
10. АКТИВНЫЕ И ИНТЕРАКТИВНЫЕ ФОРМЫ ПРОВЕДЕНИЯ ЗАНЯТИЙ
Х!!Тип занятия или Вид и тематика (название)
п\пвнеаудиторной работы интерактивного занятия
1 Практическое занятие 1 Семинар-дискуссия по теме «Парадигмы иклассификация языков программирования»
2 Практическое занятие 2 Семинар-дискуссия по теме «Алгебраические типыданных»
3 Практическое занятие 3 Семинар-дискуссия по теме «Функции высшегопорядка»
4 Практическое занятие 4 Семинар-дискуссия по теме «Абстракция данных»5 Практнческое занятие 5 Семинар-дискуссия по теме «Ленивость и строгость»6 Практическое занятие 6 Семинар-дискуссия по теме «Свёртки и развёртки
алгебраических типов данных»7 Практическое занятие 7 Семинар-дискуссия по теме «Тестирование программ
на Haskell»8 Практическое занятие 8 Семинар-дискуссия по теме «Конструирование
программ на Haskell»9 Практическое занятие 9 Семинар-дискуссия по теме «Доказательство свойств
функций»10 Практическое занятие 1О Семинар-дискуссия по теме «Типы высших сортов»11 Практическое занятие 11 Семинар-дискуссия по теме «Ввод/вывод»
6
12 Практическое занятие 12 Семинар-дискуссия по теме «Параллелизм имногозадачность»
11. ФОНД ОЦЕНОЧНЫХ СРЕДСТВ ДЛЯ ПРОВЕРКИСФОРМИРОВАННОСТИ КОМПЕТЕНЦИЙ
Х!! Код компетенции/ТипФОС Перечень элементов ФОС
п\п подкомпетенции
1 ФОСпо ОПК-3.ФП. Практико-ориентированныеподкомпетенции задания в рамках зачета
2 ФОС по элементам Знания: Лабораторные работы 1,2,3,4подкомпетенции ИД-1(ОПК-3.ФП)
Умения: Лабораторные работы 1,2,3,4ИД-1(ОПК-3.ФП)
12. МЕТОДИЧЕСКИЕ УКАЗАНИЯ ДЛЯ ОБУЧАЮЩИХСЯ ПО ОСВОЕНИЮДИСЦИПЛИНЫ
12.1. Особенности организации процесса обученияПосещение семинаров обязательно. Лабораторные работы могут сдаваться как
непосредственно на лабораторных занятиях, так и заочно, по согласованию спреподавателем. Каждая лабораторная должна быть сдана не позднее следующего за еёвыдачей лабораторного занятия.
12.2. Система контроля и оцениванияДля оценки успеваемости студентов по дисциплине используется накопительная
балльная система. Баллами оцениваются: выполнение каждого контрольного мероприятияв семестре (в сумме 80 баллов) и сдача зачёта (20 баллов). При несвоевременной сдачелабораторных работ максимальная оценка уменьшается.
По сумме баллов выставляется итоговая оценка по предмету. Структура и графикконтрольных мероприятий приведены ниже в таблице (см. также журнал успеваемости наОРИОКС, l1ttP://OIioks.miet.ruL).
Структура и график контрольных мероприятий
NQнедели 4 8 12 16 18Контрольное
ЛР 1 ЛР2 ЛР3 ЛР4 Зачётмероприятиемаксимальный балл 20 20 20 20 20 100
РАЗРАБОТЧИК:
Должность, степень, звание /Романов А.В.!
7
Рабочая программа дисциплины «Функциональное программирование» по направлениюподготовки 01.04.04 «Прикпадная математика», программы «Математические методы имоделирование в естественнонаучной и технической сферах», «Цифровая обработкасигналов и изображений» разработана на кафедре Высшей математики-1 и утверждена назаседании кафедры 2!)_ Об 2019 года, протокол NQ10
Заведующий кафедрой ~ ~ /Прокофьев А.А.!
ЛИСТ СОГЛАСОВАНИЯ
Рабочая программа согласована с Центром подготовки к аккредитации инезависимойоценки качества
Начальник АНОК А-------___ ~~'77"'~ ---,/никулина И.М.!
Рабочая про грамма согласована с библиотекой миэт
/ Директор библиотеки _----';$:.........,.,..~-+----------'/Филиппова т.п/
8
top related