Магистерские программы — различия между версиями
(→Поступление) |
(→Общая информация) |
||
Строка 27: | Строка 27: | ||
сложности алгоритмов, в том числе, вероятностных и квантовых алгоритмов. | сложности алгоритмов, в том числе, вероятностных и квантовых алгоритмов. | ||
Практическое применение полученных знаний поддерживается практикумами. | Практическое применение полученных знаний поддерживается практикумами. | ||
+ | |||
+ | [[Media:up-dsa-mk.pdf|Учебный план магистерской программы «Дискретные структуры и алгоритмы» (утвержденный в 2019 г.)]] | ||
== Поступление == | == Поступление == |
Версия 18:35, 29 января 2021
Содержание
Общая информация
На кафедре математической кибернетики проводится обучение студентов по двум магистерским программам:
- Дискретные структуры и алгоритмы,
- Дискретные управляющие системы и их приложения.
Дискретные структуры и алгоритмы
Общая информация
НАПРАВЛЕНИЕ: Прикладная математика и информатика (Applied Mathematics and Computer Science)
МАГИСТЕРСКАЯ ПРОГРАММА: Дискретные структуры и алгоритмы (Discrete Structures and Algorithms)
Цель магистерской программы «Дискретные структуры и алгоритмы» - подготовка специалистов широкого профиля в области дискретной математики и теории алгоритмов. Студенты изучают работы научных школ по теории дискретных функциональных систем с операциями, сложности представления дискретных функций, рассматривают основные разделы дискретной математики, такие как теория графов, теория кодирования, теория вычислений, особое внимание уделяется анализу сложности алгоритмов, в том числе, вероятностных и квантовых алгоритмов. Практическое применение полученных знаний поддерживается практикумами.
Учебный план магистерской программы «Дискретные структуры и алгоритмы» (утвержденный в 2019 г.)
Поступление
Элективные курсы
Список курсов, которые разрешено выбрать студентам магистерской программы в качестве элективных в осеннем семестре 2020/2021 учебного года:
- Языки описания схем (МК). Лектор — Подымов В.В.
- Математические модели и методы логического синтеза сверхбольших интегральных схем (МК). Лектор — Шуплецов М.С.
- Практикум по пакетам проектирования сверхбольших интегральных схем (МК). Лектор — Подымов В.В.
- Проектирование больших систем на C++ (МК). Лектор — Коноводов В.А.
- Особенности языка программирования Python3 (АСВК). Лектор — Курячий Г.В.
- Дополнительные вопросы разработки программного обеспечения для GNU/Linux (АСВК). Лектор — Курячий Г.В.
- Постквантовые криптосистемы с открытым ключом на основе кодов, исправляющих ошибки (ИБ). Лектор — Чижов И.В.
Дискретные управляющие системы и их приложения
Общая информация
НАПРАВЛЕНИЕ: Прикладная математика и информатика (Applied Mathematics and Computer Science)
МАГИСТЕРСКАЯ ПРОГРАММА: Дискретные управляющие системы и их приложения (Mathematical Theory and Applications of Discrete Control Systems)
Цель магистерской программы «Дискретные управляющие системы и их приложения» - подготовка специалистов в области автоматизации проектирования современных сверхбольших интегральных схем (СБИС). Студенты получают как опыт решения прикладных задач, связанных с автоматизацией проектирования СБИС, так и фундаментальную математическую подготовку, изучая работы различных научных школ в области дискретной математики, теории синтеза и сложности управляющих систем, сложности алгоритмов и математического моделирования. Приобретенные знания и навыки позволяют студентам заниматься научными исследованиями и работать в компаниях, связанных с разработкой комплексов программ автоматизации проектирования СБИС.
Поступление
Элективные курсы
Список курсов, которые разрешено выбрать студентам магистерской программы в качестве элективных в осеннем семестре 2017/2018 учебного года:
- Вероятностные и квантовые алгоритмы. Ведущий: Алексеев В.Б. Вторник, 12:15-16:10 (2 пары), ауд.505.
- Графы и их применения. Ведущий: Селезнева С.Н. Среда, 8:45-12:05 (1.5 пары), ауд.508.
- Дискретные функции и выполнимость ограничений. Ведущий: Селезнева С.Н. Среда, 12:05-14:25 (1.5 пары), ауд.508/609.
- Дискретный анализ. Ведущий: Сапоженко А.А. Вторник, 10:30-12:05, ауд.503.
- Логический и временной анализ схем: графовые и статистические модели. Ведущий: Князев Н.А.
- Сильные операторы замыкания. Ведущий: Марченков С.С. Среда, 14:35-16:10, ауд.503.