|
|
| Строка 13: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 22 февраля | + | | align="center" | 20 сентября |
| − | | Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup> |
| − | | align="center" | Шухман Алексей
| + | |
| − | |-
| + | |
| − | | align="center" | 29 февраля
| + | |
| − | | Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Федоренко Илья
| + | |
| − | |-
| + | |
| − | | align="center" | 7, 14 марта
| + | |
| − | | Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Михалев Евгений
| + | |
| − | |-
| + | |
| − | | align="center" | 21 марта
| + | |
| − | | Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Кленин Максим
| + | |
| − | |-
| + | |
| − | | align="center" | 28 марта
| + | |
| − | | Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Фаизов Алексей
| + | |
| − | |-
| + | |
| − | | align="center" | 5 апреля
| + | |
| − | | Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup>
| + | |
| | | align="center" | Сергеев Максим | | | align="center" | Сергеев Максим |
| − | |-
| |
| − | | align="center" | 11 апреля
| |
| − | | Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | С.А.Ложкин и М.С.Шуплецов
| |
| − | |-
| |
| − | | align="center" | 18 апреля
| |
| − | | Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | Башмаков Михаил
| |
| | |- | | |- |
| | |} | | |} |
