Спецкурсы
Материал из Кафедра математической кибернетики
Версия от 13:22, 7 февраля 2022; PodymovVV (обсуждение | вклад)
Если хотите связаться с преподавателем, но не можете, то напишите ему.
Содержание
Весенний семестр 2022
Спецкурсы для бакалавров
Отсутствуют.
Спецкурсы для магистров
Осенний семестр 2020
Спецкурсы для бакалавров
Отсутствуют.
Спецкурсы для магистров
Название | Преподаватели |
---|---|
Математические методы верификации схем и программ | Захаров В.А., Подымов В.В. |
Математические модели и методы логического синтеза сверхбольших интегральных схем | Шуплецов М.С. |
Дискретные функции и выполнимость ограничений | Селезнева С.Н. |
Графы и их применения | Бухман А.В. |
Вероятностные и квантовые алгоритмы | Алексеев В.Б. |
Проектирование больших систем на C++ | Коноводов В.А. |
Языки описания схем | Подымов В.В. |
Практикум по пакетам проектирования сверхбольших интегральных схем | Подымов В.В. |
Спецкурсы для аспирантов
Название | Преподаватели |
---|---|
Графы и их приложения | Селезнева С.Н. |