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