Функциональное программирование и интеллектуальные системы

Цели и задачи дисциплины

Данная дисциплина входит в блок профессиональных дисциплин. Целью преподавания дисциплины является знакомство студентов с альтернативной парадигмой программирования функциональным программированием. Задачами изучения дисциплины являются — раскрыть функциональный подход и функциональные языки для решения практических задач в тех областях, где это представляется удобным и практичным — изучение основных способов представления знаний в ИИС; — показать стиль программирования с высоким уровнем абстракции, научиться эффективно использовать новые функциональные возможности современных императивных языков (LINQ, лямбда-выражения и т.д.).

Краткое содержание дисциплины

В рамках данной дисциплины рассматриваются теоретические основы функционального программирования (лямбда-исчисление, комбинаторная логика), на примере функционального подхода дается представление о некоторых теоретических разделах компьютерных наук (семантика языков программирования, доказательство программ).

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ПК-6 Способен использовать математический аппарат и инструментальные средства для обработки, анализа и систематизации информации в проектно-аналитической и исследовательской деятельности
ПК-8 Способен готовить технико-экономическое обоснование проектов по совершенствованию и регламентации бизнес-процессов и ИТ-инфраструктуры предприятия
ПК-9 Способен осуществлять взаимодействие с заинтересованными сторонами в процессе управления информационными системами на всех стадиях жизненного цикла