| Цель изучения дисциплины | Введение в парадигму функционального программирования. Изучение теоретических основ функционального программирования (лямбда-исчисление, комбинаторная логика, вопросы вычислимости), на примере функционального подхода. Получение практических навыков программирования на функциональных языках. Знакомство с функциональным подходом, совершенствование стиля программирования. Формирование навыков использования языков программирования с более высоким уровнем абстракции, эффективного использования новых возможностей современных императивных языков программирования (LINQ, лямбда-выражения и т.д.). |
|---|---|
| Место дисциплины в учебном плане | ФТД.В |
| Формируемые компетенции | ПК-2 | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
Принципы функционального программирования. Теоретические основы функционального программирования: лямбда-исчисление, комбинаторную логику, вопросы вычислимости, на примере функционального подхода. Современные платформы для работы с функциональными языками Уметь:
Использовать принципы функционального программирования для построения сложных алгоритмов и программ. Работать на современных платформах с функциональными языками. Использовать язык LINQ, лямбда-выражения. Использовать современные платформы для работы с функциональными языками Иметь навыки и (или) опыт деятельности (владеть):
Практические навыки программирования на функциональных языках, использование функционального подхода для построения сложных алгоритмов и программ. Навыки работы с функциональными языками на современных платформах. |
| Содержание дисциплины | Введение в функциональное программирование. Основные принципы функционального программирования. Лямбда-исчисление. |
| Виды учебной работы | Лекции, лабораторные, самостоятельная работа. |
| Используемые информационные, инструментальные и программные средства |
MS'Visual Studio 2008
Open Office Office 2010 Professional Windows 7 Professional 7-Zip AcrobatReaderMicrosoft Office 2010 (Office 2010 Professional, № 4065231 от 08.12.2010), (бессрочно); Microsoft Windows 7 (Windows 7 Professional, № 61834699 от 22.04.2013), (бессрочно); Chrome (http://www.chromium.org/chromium-os/licenses), (бессрочно); 7-Zip (http://www.7-zip.org/license.txt), (бессрочно); AcrobatReader (http://wwwimages.adobe.com/content/dam/Adobe/en/legal/servicetou/Acrobat_com_Additional_TOU-en_US-20140618_1200.pdf), (бессрочно); ASTRA LINUX SPECIAL EDITION (https://astralinux.ru/products/astra-linux-special-edition/), (бессрочно); LibreOffice (https://ru.libreoffice.org/), (бессрочно); Веб-браузер Chromium (https://www.chromium.org/Home/), (бессрочно); Антивирус Касперский (https://www.kaspersky.ru/), (до 23 июня 2024); Архиватор Ark (https://apps.kde.org/ark/), (бессрочно); Okular (https://okular.kde.org/ru/download/), (бессрочно); Редактор изображений Gimp (https://www.gimp.org/), (бессрочно) СПС Гарант (http://www.garant.ru)
СПС КонсультантПлюс (http://www.consultant.ru/) Электронная база данных "Scopus" (http://www.scopus.com) Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru) Научная электронная библиотека elibrary (http://elibrary.ru) |
| Форма промежуточной аттестации | Зачет. |