Функциональное и логическое программирование
Дисциплина является составной частью теоретической подготовки бакалавров в области информационных технологий. Курс дисциплины состоит из следующих разделов: Основные понятия логического программирования. Вычислительная модель логических программ. Теоретические основы функционального программирования. Программирование в функциональных обозначениях. Представление и интерпретация функциональных про-грамм. Изучение курса ориентировано на формирование у студентов навыков альтернативного программирования.