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

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

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

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

Функциональное программирование; логическое программирование; логика предикатов; представление знаний. Искусственный интеллект.

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

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

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