Ðаучный руководитель профеÑÑор, д.Ñ„.-м.н. Ð’.Б. ÐлекÑеев.
Цель магиÑтерÑкой программы «ДиÑкретные Ñтруктуры и алгоритмы» — подготовка ÑпециалиÑтов широкого Ð¿Ñ€Ð¾Ñ„Ð¸Ð»Ñ Ð² облаÑти диÑкретной математики и теории алгоритмов. Студенты раÑÑматривают оÑновные разделы диÑкретной математики, такие как Ñ‚ÐµÐ¾Ñ€Ð¸Ñ Ð´Ð¸Ñкретных функциональных ÑиÑтем Ñ Ð¾Ð¿ÐµÑ€Ð°Ñ†Ð¸Ñми, Ñ‚ÐµÐ¾Ñ€Ð¸Ñ Ð²Ñ‹Ñ‡Ð¸Ñлительной ÑложноÑти задач, Ñ‚ÐµÐ¾Ñ€Ð¸Ñ Ð³Ñ€Ð°Ñ„Ð¾Ð² и комбинаторика, Ñ‚ÐµÐ¾Ñ€Ð¸Ñ Ð²Ñ‹Ñ‡Ð¸Ñлений. При Ñтом ведетÑÑ Ð¸Ð·Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ как клаÑÑичеÑких результатов, так и Ñовременных направлений их Ñ€Ð°Ð·Ð²Ð¸Ñ‚Ð¸Ñ Ð¸ применениÑ. ОÑобое внимание уделÑетÑÑ Ð°Ð»Ð³Ð¾Ñ€Ð¸Ñ‚Ð¼Ð°Ð¼ и их ÑложноÑти, в том чиÑле, алгоритмам на графах, на диÑкретных Ñтруктурах, вероÑтноÑтным алгоритмам. Ð Ñд курÑов поддерживаютÑÑ Ð¿Ñ€Ð°ÐºÑ‚Ð¸ÐºÑƒÐ¼Ð°Ð¼Ð¸.
| ДиÑциплина | 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
Ðлементы теории Ñинтеза, надежноÑти и ÐºÐ¾Ð½Ñ‚Ñ€Ð¾Ð»Ñ Ð´Ð¸Ñкретных управлÑющих ÑиÑтем
Языки опиÑÐ°Ð½Ð¸Ñ Ñхем