|
|
| Строка 3: |
Строка 3: |
| | Спецсеминар для студентов 3 курса. | | Спецсеминар для студентов 3 курса. |
| | | | |
| − | Проходит по средам с '''14:35''' до '''16:10''' в аудитории '''507'''. | + | Проходит по пятницам в '''16:20''' в аудитории '''704'''. |
| − | | + | |
| − | | + | |
| | | | |
| | __TOC__ | | __TOC__ |
| Строка 21: |
Строка 19: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 19 февраля | + | | align="center" | 10 октября |
| − | | rowspan="2" | Инверсная сложность булевых функций. <sup>[[Медиа:SQCS19.02.2014.pdf | Аннотация доклада]],[[Медиа:inverse_complexity.pdf | Презентация]]</sup> | + | | rowspan="2" | Доклад по статье Нечипорука Э. И. "Об одной булевской матрице". |
| | | rowspan="2" | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] | | | rowspan="2" | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] |
| − | |-
| |
| − | | align="center" | 26 февраля
| |
| − | |-
| |
| − | | align="center" | 5 марта
| |
| − | | Методы обфускации кода для защиты программного обеспечения <sup> [[Media:SQCS05.03.2014.pdf | Аннотация доклада]], [[Media:Presentation0503.pdf | Презентация]]</sup>
| |
| − | | Темербекова Гульгайша
| |
| − | |-
| |
| − | |align="center" | 14 марта
| |
| − | | rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
| |
| − | | rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]],
| |
| − | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
| |
| − | |-
| |
| − | | align="center" | 19 марта
| |
| − | |-
| |
| − | | align="center" | 2 апреля
| |
| − | | Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"
| |
| − | | Зиновьев Владимир
| |
| − | |-
| |
| − | | align="center" | 9 апреля
| |
| − | | Задача выполнимости и верификация логических схем
| |
| − | | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
| |
| − | |-
| |
| − | | align="center" | 16 апреля
| |
| − | | Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR"
| |
| − | | Добровецкий Даниил
| |
| − | |-
| |
| − | | align="center" | 30 апреля
| |
| − | | Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" <sup> [[Медиа:SQCS23.04.2014.pdf | Аннотация доклада]]</sup>
| |
| − | | Чеховская Екатерина
| |
| − | |-
| |
| − | | align="center" | 7 мая
| |
| − | | Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" <sup> [[Медиа:SQCS07.05.2014.pdf | Аннотация доклада]]</sup>
| |
| − | | Павлов Андрей
| |
| − | |-
| |
| − | | align="center" | 14 мая
| |
| − | | Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29.
| |
| − | | Кухтинов Александр
| |
| | |} | | |} |
| | | | |
