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

  • Дисциплина изучает принципы и методологии функционального и логического программирования, концепции неизменяемых структур данных, рекурсивные функции и лямбда-исчисление А.Черча, программирование в функциональных обозначениях, функциональные языки, строго функциональный язык, приемы программирования, представление и интерпретация функциональных программ, основные конструкции логических программ, операционная и декларативная семантика, интерпретация; в результате изучения дисциплины обучающийся оттачивает навыки программирования, способен разрабатывать функциональные программы и применять логическое программирование.
  • Образовательная программа 6B06102 Информационные системы
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top