Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 9 октября
|
Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»Аннотация доклада
|
Лопунов М.А.
|
| 16 октября
|
Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»Аннотация доклада
|
Зизов В.С.
|
| 30 октября
|
Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»Аннотация доклада
|
Хзмалян Д.Э.
|
| 13 ноября
|
Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»Аннотация доклада
|
Коноводов В.А.
|
| 20 ноября
|
Доклад по первой части работы К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.
|
Мальцев А.Н.
|
|
