KZ

Введение в функциональное программирование

  • В этом курсе студенты откроют для себя элементы стиля функционального программирования и узнают, как с пользой применять их в повседневных задачах программирования, таких как моделирование бизнес-доменов или реализация бизнес-логики. Цель курса — создать прочную основу для рассуждений о функциональных программах, затрагивая доказательства инвариантов и символическое отслеживание выполнения..
  • Образовательная программа 6B06101 Компьютерные науки
  • ВУЗ Astana IT University
  • Кредитов 5
  • Год обучения 2
  • Семестр 1
Top