Ðаучный руководитель профеÑÑор, д.Ñ„.-м.н. С.Ð. Ложкин.
Цель магиÑтерÑкой программы «ДиÑкретные управлÑющие ÑиÑтемы и их приложениÑ» - подготовка ÑпециалиÑтов в облаÑти автоматизации Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ Ñовременных Ñверхбольших интегральных Ñхем (СБИС). Студенты получают как опыт Ñ€ÐµÑˆÐµÐ½Ð¸Ñ Ð¿Ñ€Ð¸ÐºÐ»Ð°Ð´Ð½Ñ‹Ñ… задач, ÑвÑзанных Ñ Ð°Ð²Ñ‚Ð¾Ð¼Ð°Ñ‚Ð¸Ð·Ð°Ñ†Ð¸ÐµÐ¹ Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¡Ð‘Ð˜Ð¡, так и фундаментальную математичеÑкую подготовку, Ð¸Ð·ÑƒÑ‡Ð°Ñ Ñ€Ð°Ð±Ð¾Ñ‚Ñ‹ различных научных школ в облаÑти диÑкретной математики, теории Ñинтеза и ÑложноÑти управлÑющих ÑиÑтем, ÑложноÑти алгоритмов и математичеÑкого моделированиÑ. Приобретенные Ð·Ð½Ð°Ð½Ð¸Ñ Ð¸ навыки позволÑÑŽÑ‚ Ñтудентам заниматьÑÑ Ð½Ð°ÑƒÑ‡Ð½Ñ‹Ð¼Ð¸ иÑÑледованиÑми и работать в компаниÑÑ…, ÑвÑзанных Ñ Ñ€Ð°Ð·Ñ€Ð°Ð±Ð¾Ñ‚ÐºÐ¾Ð¹ комплекÑов программ автоматизации Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¡Ð‘Ð˜Ð¡.
| ДиÑциплина | 1 ÑемеÑтр |
2 ÑемеÑтр |
3 ÑемеÑтр |
4 ÑемеÑтр |
||||
| ч/н | ч/н | ч/н | ч/н | |||||
| ИноÑтранный Ñзык | 4 | зач | 4 | Ñкз | ||||
| Правоведение | 4 | Ñкз | РуÑÑкий Ñзык, деловое общение | 2 | Ñкз | |||
| Суперкомпьютерное моделирование и технологии | 4 | Ñкз | ||||||
| ИÑÑ‚Ð¾Ñ€Ð¸Ñ Ð¸ Ð¼ÐµÑ‚Ð¾Ð´Ð¾Ð»Ð¾Ð³Ð¸Ñ Ð¿Ñ€Ð¸ÐºÐ»Ð°Ð´Ð½Ð¾Ð¹ математики | 2 | зач | ||||||
| Ð¡Ð¾Ð²Ñ€ÐµÐ¼ÐµÐ½Ð½Ð°Ñ Ñ„Ð¸Ð»Ð¾ÑÐ¾Ñ„Ð¸Ñ Ð¸ Ð¼ÐµÑ‚Ð¾Ð´Ð¾Ð»Ð¾Ð³Ð¸Ñ Ð½Ð°ÑƒÐºÐ¸ | 2 | Ñкз | ||||||
| МежфакультетÑкие курÑÑ‹ по выбору | 2 | зач | 2 | зач | ||||
| МатематичеÑкие модели и методы логичеÑкого Ñинтеза Ñверхбольших интегральных Ñхем | 3 | Ñкз | ||||||
| Ðлементы теории Ñинтеза, надежноÑти и ÐºÐ¾Ð½Ñ‚Ñ€Ð¾Ð»Ñ Ð´Ð¸Ñкретных управлÑющих ÑиÑтем | 3 | Ñкз | ||||||
| Проектирование больших ÑиÑтем на С++ | 2 | Ñкз | ||||||
| Языки опиÑÐ°Ð½Ð¸Ñ Ñхем | 2 | зач | ||||||
| МатематичеÑкие модели и методы физичеÑкого Ñинтеза Ñверхбольший интегральных Ñхем | 3 | Ñкз | ||||||
| МатематичеÑкие модели и методы Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ Ð°Ñ€Ñ…Ð¸Ñ‚ÐµÐºÑ‚ÑƒÑ€Ñ‹ Ñверхбольший интегральных Ñхем | 3 | зач | ||||||
| МатематичеÑкие методы верификации Ñхем и программ | 3 | Ñкз | ||||||
| Функциональные ÑиÑтемы | 2 | зач | ||||||
| Практикум по пакетам СБИС | 2 | зач | ||||||
| МатематичеÑкие модели поÑледовательных вычиÑлений | 2 | зач | ДиÑциплина магиÑтерÑкой программы на английÑком Ñзыке | 2 | зач | |||
| ДиÑциплина по выбору из ÑпиÑка | 2 | Ñкз | 2 | Ñкз | 2 | зач | ||
| СпецÑеминар "Ð¢ÐµÐ¾Ñ€Ð¸Ñ ÑƒÐ¿Ñ€Ð°Ð²Ð»Ñющих ÑиÑтем и математичеÑкие модели Ñверхбольших интегральных Ñхем" | 2 | зач | 2 | зач | 2 | зач | 2 | зач |
| Ðаучно-иÑÑледовательÑÐºÐ°Ñ Ñ€Ð°Ð±Ð¾Ñ‚Ð° | оценка | |||||||
| КурÑÐ¾Ð²Ð°Ñ Ñ€Ð°Ð±Ð¾Ñ‚Ð° | оценка | |||||||
| чаÑов | 19 | 23 | 17 | 8 | ||||
| Защита магиÑтерÑкой диÑÑертации | оценка | |||||||
| ГоÑударÑтвенный Ñкзамен по направлению | оценка | |||||||
| зачетов | 4 | 4 | 5 | 4 | ||||
| Ñкзаменов | 4 | 4 | 3 | 2 | ||||
СпиÑок диÑциплин по выбору Ñтудента Ð´Ð»Ñ Ð¼Ð°Ð³Ð¸ÑтерÑкой программы "ДиÑкретные управлÑющие ÑиÑтемы и их приложениÑ":
Ð’Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ Ð³Ñ€Ð°Ñ„Ð¾Ð², Ñ‚ÐµÐ¾Ñ€Ð¸Ñ ÐºÐ»ÐµÑ‚Ð¾Ñ‡Ð½Ñ‹Ñ… и планарных Ñхем
МатематичеÑкие модели аналоговых Ñхем
Моделирование библиотечных Ñлементов
МатематичеÑкие модели задач физичеÑкого проектированиÑ, ÑхемотехничеÑкого и временного анализа
Решение булевых уравнений и проблемы выполнимоÑти