|
|
| Строка 13: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 22 февраля | + | | align="center" | 11 октября |
| − | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов»<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup> |
| − | | align="center" | Купраш Е.Д.
| + | | align="center" | Лопунов М.А. |
| − | |-
| + | |
| − | | align="center" | 1 марта
| + | |
| − | | Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Жуков В.В.
| + | |
| − | |-
| + | |
| − | | align="center" | 15 марта
| + | |
| − | | Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Лопунов М.А. | + | |
| − | |-
| + | |
| − | | align="center" | 22 марта
| + | |
| − | | rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" rowspan="2" | Пименов Н.В.
| + | |
| − | |-
| + | |
| − | | align="center" | 29 марта
| + | |
| − | |-
| + | |
| − | | align="center" | 5 апреля
| + | |
| − | | Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Омарова М.М.
| + | |
| − | |-
| + | |
| − | | align="center" | 12 апреля
| + | |
| − | | Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Хзмалян Д.Э.
| + | |
| − | |-
| + | |
| − | | align="center" | 19 апреля
| + | |
| − | | Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
| + | |
| − | | align="center" |
| + | |
| − | |-
| + | |
| − | | align="center" | 17 мая
| + | |
| − | | Выступления студентов 3 и 5 курсов с курсовыми работами
| + | |
| − | | align="center" |
| + | |
| | |} | | |} |
| | | | |
