Спецсеминар для студентов 3 курса.
Проходит по средам с 14:35 до 16:10 в аудитории 507.
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 19 февраля
|
Инверсная сложность булевых функций. Аннотация доклада, Презентация
|
Шуплецов М. С.
|
| 26 февраля
|
| 5 марта
|
Методы обфускации кода для защиты программного обеспечения Аннотация доклада, Презентация
|
Темербекова Гульгайша
|
| 14 марта
|
О минимальных π-схемах для монотонных симметрических функций с порогом 2 Аннотация доклада
|
Ложкин С. А.,
Шуплецов М. С.
|
| 19 марта
|
| 2 апреля
|
Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"
|
Зиновьев Владимир
|
| 9 апреля
|
Задача выполнимости и верификация логических схем
|
Шуплецов М. С.
|
| 16 апреля
|
Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"
|
Добровецкий Даниил
|
| 30 апреля
|
Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" Аннотация доклада
|
Чеховская Екатерина
|
| 7 мая
|
Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" Аннотация доклада
|
Павлов Андрей
|
| 14 мая
|
Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29.
|
Кухтинов Александр
|
|
Руководители
Научные кураторы
Участники
Студенты 3-го курса:
Ссылки
