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

Версия 22:10, 10 апреля 2014

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

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

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

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

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

@@ Строка 37: / Строка 37: @@
 |-
 | align="center" | 19 марта
-|-
-| align="center" | 26 марта
-| Задача выполнимости и верификация логических схем
-| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 |-
 | align="center" | 2 апреля
@@ Строка 47: / Строка 43: @@
 |-
 | align="center" | 9 апреля
-| Доклад по статье
+| Задача выполнимости и верификация логических схем
-| Добровецкий Даниил
+| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 |}