|
|
| Строка 60: |
Строка 60: |
| | | Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup> | | | Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup> |
| | | align="center" | Есипова Дарья | | | align="center" | Есипова Дарья |
| | + | |- |
| | + | | align="center" | 28 марта |
| | + | | Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup> |
| | + | | align="center" | Соколов Михаил |
| | |} | | |} |
| | | | |
Версия 11:53, 28 марта 2023
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, асс. Данилов Борис Радиславович
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 10 октября
|
Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»Аннотация доклада
|
Козин Георгий
|
| 17 октября
|
Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»Аннотация доклада
|
Исаков Ильяс
|
| 24 октября
|
Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»Аннотация доклада
|
Местецкий Михаил
|
| 7 ноября
|
Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»Аннотация доклада
|
Фесенко Анастасия
|
| 14 ноября
|
Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
|
Фесенко Анастасия
|
| 21 ноября
|
Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»Аннотация доклада
|
Романов Дмитрий
|
| 28 ноября
|
Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»Аннотация доклада
|
Синенкова Анна
|
| 5 декабря
|
Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада
|
Романов Дмитрий
|
| 12 декабря
|
Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»Аннотация доклада
|
Гребенкин Сергей
|
| 7 марта
|
Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»Аннотация доклада
|
Михалев Евгений
|
| 14 марта
|
Доклад по теме «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»Аннотация доклада
|
Кленин Максим
|
| 21 марта
|
Доклад по теме «Алгоритмы построения заполняющих топологий»Аннотация доклада
|
Есипова Дарья
|
| 28 марта
|
Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»Аннотация доклада
|
Соколов Михаил
|
|
