Некоторые вопросы теории управляющих систем — различия между версиями
Материал из Кафедра математической кибернетики
(→Расписание докладов) |
(→Расписание докладов) |
||
Строка 41: | Строка 41: | ||
| Задача выполнимости и верификация логических схем | | Задача выполнимости и верификация логических схем | ||
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] | | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] | ||
+ | |- | ||
+ | | align="center" | 2 апреля | ||
+ | | Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул" | ||
+ | | | ||
|} | |} | ||
Версия 14:08, 30 марта 2014
Спецсеминар для студентов 3 курса.
Проходит по средам с 14:35 до 16:10 в аудитории 507.
Расписание докладов
|
Руководители
Научные кураторы
- проф. Ложкин Сергей Андреевич
- проф. Захаров Владимир Анатольевич
Участники
Студенты 3-го курса: