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