|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Теория категорий в информатикеучебный курс
- Авторы: Михалев Александр Васильевич, Ковалёв Сергей Протасович
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: Цель курса – ознакомить слушателей с современными математическими методами информатики и инженерии программного обеспечения, основанными на теории категорий. Теоретико-категорный аппарат позволяет формально описывать, анализировать, верифицировать и оптимизировать процессы создания сложных гетерогенных программных систем. В ходе курса будут изложены все базовые понятия теории категорий, и будет рассмотрен ряд специализированных теоретико-категорных конструкций для решения задач теории и практики разработки программ.
- Добавил в систему: Ковалёв Сергей Протасович
Преподавание курса
- с 20 октября 2016 Ковалёв Сергей Протасович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра теоретической информатики
- обязательная, вариативной части, лекции, 68 часов
- Авторы: Михалев Александр Васильевич, Ковалёв Сергей Протасович