|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Практическое применение теории сложности вычисленийучебный курс
- Автор: Боков Г.В.
- Год создания: 2016
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс посвящен изучению современных проблем теории сложности вычислений и их практическому применению в системах автоматического доказательства теорем. Он нацелен на формирование широкого кругозора о возникающих в этой области математических задачах и подходах к их решению, а также взаимосвязи разных разделов математики в области компьютерных наук.
- Добавил в систему: Боков Григорий Владимирович
Преподавание курса
- с 2 марта 2017 Боков Григорий Владимирович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 68 часов
- Автор: Боков Г.В.
- с 2 марта 2017 Кудрявцев Валерий Борисович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 68 часов
- Автор: Боков Г.В.