Научный руководитель профессор, д.ф.-м.н. С.А. Ложкин.
Цель магистерской программы «Дискретные управляющие системы и их приложения» - подготовка специалистов в области автоматизации проектирования современных сверхбольших интегральных схем (СБИС). Студенты получают как опыт решения прикладных задач, связанных с автоматизацией проектирования СБИС, так и фундаментальную математическую подготовку, изучая работы различных научных школ в области дискретной математики, теории синтеза и сложности управляющих систем, сложности алгоритмов и математического моделирования. Приобретенные знания и навыки позволяют студентам заниматься научными исследованиями и работать в компаниях, связанных с разработкой комплексов программ автоматизации проектирования СБИС.
| Дисциплина | 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 | ||||
Список дисциплин по выбору студента для магистерской программы "Дискретные управляющие системы и их приложения":
Вложения графов, теория клеточных и планарных схем
Математические модели аналоговых схем
Моделирование библиотечных элементов
Математические модели задач физического проектирования, схемотехнического и временного анализа
Решение булевых уравнений и проблемы выполнимости