Теория категорий в информатике и инженерии

Когда: вторник, 5 пара

Где: 13-11

Предлагается краткий (4 лекции) специальный курс по современным приложениям теории категорий. Курс подготовлен и читается совместно с Институтом проблем управления. Лекции будут проходить в рамках спецсеминара «Теоретическая информатика».