Спецкурсы

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

2023-2024, осенний семестр

Бакалавриат

Отсутствуют

Магистратура

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

Аспирантура

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

2022-2023, весенний семестр

Бакалавриат

Название Преподаватели
Вложения графов и клеточные схемы: теория и приложения Ложкин С.А., Зизов В.С.

Магистратура

Название Преподаватели
Программная реализация дискретных структур Бухман А.В.
Математические модели и методы физического синтеза сверхбольших интегральных схем Шуплецов М.С.
Математические модели и методы проектирования архитектуры сверхбольших интегральных схем Подымов В.В.
Элементы теории синтеза, надежности и контроля дискретных управляющих систем Ложкин С.А. Романов Д.С.
Математическая биология Козлов В.Н.
Python для аналитиков данных Шуплецов М.С.

Аспирантура

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