|
|
| Строка 1: |
Строка 1: |
| − | ''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.'' | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.'' |
| | | | |
| | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] | | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] |
| Строка 13: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 20 сентября | + | | align="center" | 29 сентября |
| − | | Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
| + | | Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20250929.pdf|Аннотация доклада]]</sup> |
| − | | align="center" | Сергеев Максим
| + | | align="center" | Джаналиев Даниярбек |
| − | |-
| + | |
| − | | align="center" | 27 сентября
| + | |
| − | | Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup> | + | |
| − | | align="center" | Долгих Любовь
| + | |
| − | |-
| + | |
| − | | align="center" | 04 октября
| + | |
| − | | Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Гребенкин Сергей
| + | |
| − | |-
| + | |
| − | | align="center" | 11 октября
| + | |
| − | | Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Михалев Евгений
| + | |
| − | |-
| + | |
| − | | align="center" | 18 октября
| + | |
| − | | Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»<sup>[[Media:Specsem20241018.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Шухман Алексей
| + | |
| − | |-
| + | |
| − | | align="center" | 25 октября
| + | |
| − | | Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»<sup>[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Сергеев И.С.
| + | |
| − | |-
| + | |
| − | | align="center" | 01 ноября
| + | |
| − | | Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"<sup>[[Media:Specsem01112024.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Белоусова Анна
| + | |
| − | |-
| + | |
| − | | align="center" | 08 ноября
| + | |
| − | | Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»<sup>[[Media:Specsem20241108.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Кинжитаева Назия
| + | |
| − | |-
| + | |
| − | | align="center" | 15 ноября
| + | |
| − | | Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»<sup>[[Media:Specsem20241115.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Шуплецов М.С.
| + | |
| − | |-
| + | |
| − | | align="center" | 22 ноября
| + | |
| − | | Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)<sup>[[Media:Specsem20241122.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Фесенко Анастасия
| + | |
| − | |-
| + | |
| − | | align="center" | 13 декабря
| + | |
| − | | Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»<sup>[[Media:Specsem20241213D.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Цуй Чжэнюй, Романов Д.С.
| + | |
| − | |-
| + | |
| − | | align="center" | 20 декабря
| + | |
| − | | Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»<sup>[[Media:Specsem20241220.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Ложкин С.А.
| + | |
| − | |-
| + | |
| − | | align="center" | 28 февраля
| + | |
| − | | Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»<sup>[[Media:Specem_252802.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Кудимов Д.Д.
| + | |
| − | |-
| + | |
| − | | align="center" | 14 марта
| + | |
| − | | Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»<sup>[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Долгих Л.А.
| + | |
| − | |-
| + | |
| − | | align="center" | 21 марта
| + | |
| − | | Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). <sup>[[Media:Specsem_21032025.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Белоусова А.И.
| + | |
| − | |-
| + | |
| − | | align="center" | 04 апреля
| + | |
| − | | Доклад по статье Г.Р. Погосяна «О длине проверяющих тестов для одного класса неисправностей логических устройств // «Дискретная математика и математическая кибернетика». — М.: Наука, 1981. — С. 140–145. <sup>[[Media:Specsem_2025_04_04.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Джаналиев Д.Р. | + | |
| − | |-
| + | |
| − | | align="center" | 11 апреля
| + | |
| − | | Доклад по теме «Об инверсной и немонотонной сложности булевых функций»<sup>[[Media:Specsem_2025_04_11.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Ложкин С.А.
| + | |
| | |- | | |- |
| | |} | | |} |
