Спецкурсы — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) м |
PodymovVV (обсуждение | вклад) |
||
Строка 4: | Строка 4: | ||
==Бакалавриат== | ==Бакалавриат== | ||
+ | |||
+ | Отсутствуют | ||
+ | |||
+ | ==Магистратура== | ||
{| class="wikitable" | {| class="wikitable" | ||
Строка 10: | Строка 14: | ||
|Геометрическая реализация графов и схем | |Геометрическая реализация графов и схем | ||
|[[Ложкин Сергей Андреевич|Ложкин С.А.]], Зизов В.С. | |[[Ложкин Сергей Андреевич|Ложкин С.А.]], Зизов В.С. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|- | |- | ||
|[[Математические методы верификации схем и программ]] | |[[Математические методы верификации схем и программ]] |
Версия 12:50, 27 ноября 2023
Если хотите связаться с преподавателем, но не можете, то напишите ему.
Содержание
2023-2024, осенний семестр
Бакалавриат
Отсутствуют
Магистратура
Название | Преподаватели |
---|---|
Геометрическая реализация графов и схем | Ложкин С.А., Зизов В.С. |
Математические методы верификации схем и программ | Подымов В.В. |
Математические модели и методы логического синтеза сверхбольших интегральных схем | Шуплецов М.С. |
Дискретные функции и выполнимость ограничений | Селезнева С.Н. |
Графы и их применения | Бухман А.В. |
Вероятностные и квантовые алгоритмы | Алексеев В.Б. |
Проектирование больших систем на C++ | Жуков В.В. |
Языки описания схем | Подымов В.В. |
Практикум по пакетам проектирования сверхбольших интегральных схем | Шуплецов М.С. |
Базисы Грёбнера и системы алгебраических уравнений | Чокаев Б.В. |
Аспирантура
Название | Преподаватели |
---|---|
Графы и их приложения | Селезнева С.Н. |
2022-2023, весенний семестр
Бакалавриат
Название | Преподаватели |
---|---|
Вложения графов и клеточные схемы: теория и приложения | Ложкин С.А., Зизов В.С. |
Магистратура
Название | Преподаватели |
---|---|
Программная реализация дискретных структур | Бухман А.В. |
Математические модели и методы физического синтеза сверхбольших интегральных схем | Шуплецов М.С. |
Математические модели и методы проектирования архитектуры сверхбольших интегральных схем | Подымов В.В. |
Элементы теории синтеза, надежности и контроля дискретных управляющих систем | Ложкин С.А. Романов Д.С. |
Математическая биология | Козлов В.Н. |
Python для аналитиков данных | Шуплецов М.С. |
Аспирантура
Отсутствуют.