Некоторые вопросы теории управляющих систем — различия между версиями

Версия 14:18, 16 апреля 2014

Спецсеминар для студентов 3 курса.

Проходит по средам с 14:35 до 16:10 в аудитории 507.

Дата	Тема доклада	Докладчик
19 февраля	Инверсная сложность булевых функций. ^{Аннотация доклада, Презентация}	Шуплецов М. С.
26 февраля		Шуплецов М. С.
5 марта	Методы обфускации кода для защиты программного обеспечения ^{Аннотация доклада, Презентация}	Темербекова Гульгайша
14 марта	О минимальных π-схемах для монотонных симметрических функций с порогом 2 ^{Аннотация доклада}	Ложкин С. А., Шуплецов М. С.
19 марта		Ложкин С. А., Шуплецов М. С.
2 апреля	Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"	Зиновьев Владимир
9 апреля	Задача выполнимости и верификация логических схем	Шуплецов М. С.
16 апреля	Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"	Добровецкий Даниил

темы семинаров предварительные, следите за возможными изменениями

Студенты 3-го курса:

@@ Строка 45: / Строка 45: @@
 | Задача выполнимости и верификация логических схем
 | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+|-
+| align="center" | 16 апреля
+| Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"
+| Добровецкий Даниил
 |}