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

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