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