Описание:Цель курса – ознакомить слушателей с современными математическими методами информатики и инженерии программного обеспечения, основанными на теории категорий. Теоретико-категорный аппарат позволяет формально описывать, анализировать, верифицировать и оптимизировать процессы создания сложных гетерогенных программных систем. В ходе курса будут изложены все базовые понятия теории категорий, и будет рассмотрен ряд специализированных теоретико-категорных конструкций для решения задач теории и практики разработки программ.