Спецкурсы

Если хотите связаться с преподавателем, но не можете, то напишите ему.

Осенний семестр 2020

Спецкурсы для бакалавров

Отсутствуют.

Спецкурсы для магистров

Название	Преподаватели
Математические методы верификации схем и программ	Захаров В.А., Подымов В.В.
Математические модели и методы логического синтеза сверхбольших интегральных схем	Шуплецов М.С.
Дискретные функции и выполнимость ограничений	Селезнева С.Н.
Графы и их применения	Бухман А.В.
Вероятностные и квантовые алгоритмы	Алексеев В.Б.
Проектирование больших систем на C++	Коноводов В.А.
Языки описания схем	Подымов В.В.
Практикум по пакетам проектирования сверхбольших интегральных схем	Подымов В.В.

Спецкурсы для аспирантов

Название	Преподаватели
Графы и их приложения	Селезнева С.Н.