KZ

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

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