Декларативное программирование

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

Целями освоения дисциплины "Декларативное программирование" являются: - формирование у студентов понимания парадигм программирования - получение студентами теоретических знаний в области декларативного программирования - получение практических навыков программирования на декларативном языке программирования. Основная задача дисциплины: научиться применять основные концепции программирования при решении научно-исследовательских задач.

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

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

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

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

ПК-1 Способен формулировать требования к разработке программного обеспечения на основе анализа предметной области, осуществлять проектирование программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений для решения задач профессиональной деятельности