Научный руководитель профессор, д.ф.-м.н. В.Б. Алексеев.
Цель магистерской программы «Дискретные структуры и алгоритмы» — подготовка специалистов широкого профиля в области дискретной математики и теории алгоритмов. Студенты рассматривают основные разделы дискретной математики, такие как теория дискретных функциональных систем с операциями, теория вычислительной сложности задач, теория графов и комбинаторика, теория вычислений. При этом ведется изложение как классических результатов, так и современных направлений их развития и применения. Особое внимание уделяется алгоритмам и их сложности, в том числе, алгоритмам на графах, на дискретных структурах, вероятностным алгоритмам. Ряд курсов поддерживаются практикумами.
| Дисциплина | 1 семестр |
2 семестр |
3 семестр |
4 семестр |
||||
| ч/н | ч/н | ч/н | ч/н | |||||
| Иностранный язык | 4 | зач | 4 | экз | Правоведение | 4 | экз | Русский язык, деловое общение | 2 | экз | Суперкомпьютерное моделирование и технологии | 4 | экз |
| История и методология прикладной математики | 2 | зач | ||||||
| Современная философия и методология науки | 2 | экз | ||||||
| Межфакультетские курсы по выбору | 2 | зач | 2 | зач | ||||
| Функциональные системы | 3 | экз | ||||||
| Обобщенная выполнимость | 3 | экз | ||||||
| Графы и их применения | 2 | экз | ||||||
| Вероятностные методы в комбинаторике | 2 | экз | Практикум по дискретным структурам | 2 | зач | |||
| Некоторые задачи оптимизации на дискретных структурах | 2 | экз | Математические методы верификации схем и программ | 3 | экз | Дисциплина магистерской программы на английском языке | 2 | зач |
| Дисциплина по выбору из списка | 2 | экз | 2 | экз | 2 | зач | Спецсеминар "Дискретная математика и математическая кибернетика" | 2 | зач | 2 | зач | 2 | зач | 2 | зач |
| Научно-исследовательская работа | оценка | |||||||
| Курсовая работа | оценка | |||||||
| часов | 21 | 20 | 19 | 8 | ||||
| зачетов | 3 | 3 | 4 | 5 | ||||
| экзаменов | 5 | 4 | 4 | 2 | ||||
| Защита магистерской диссертации | оценка | |||||||
| Государственный экзамен по направлению | оценка | |||||||
Список дисциплин по выбору студента для магистерской программы "Дискретные структуры и алгоритмы":
Алгебра и геометрия тензоров
Базисы Грёбнера и системы алгебраических уравнений
Дополнительные вопросы разработки программного обеспечения для
GNU/Linux
Математические модели и методы логического синтеза сверхбольших
интегральных схем
Математические модели и методы проектирования архитектуры сверхбольших
интегральных схем
Математические модели и методы физического синтеза сверхбольших
интегральных схем
Машинное обучение с применением R и Python (на англ.яз.)
Методы совместной разработки на базе ЯП Python3
Некоторые задачи теории графов
Особенности языка программирования Python3
Постквантовые криптосистемы с открытым ключом на основе кодов,
исправляющих ошибки
Практикум по пакетам проектирования сверхбольших интегральных схем
Практическое применение нейронных сетей
Природные алгоритмы оптимизации
Проектирование больших систем на C++
Теория кодирования в криптографии
Функциональное программирование на языке Scheme
Элементы теории синтеза, надежности и контроля дискретных управляющих систем
Языки описания схем