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