Спецкурсы

Материал из Кафедра математической кибернетики
Версия от 22:01, 28 сентября 2020; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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

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

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

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

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

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

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