Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
DanilovB (обсуждение | вклад) |
||
| (не показаны 165 промежуточные версии 3 участников) | |||
| Строка 1: | Строка 1: | ||
| − | ''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.'' |
| − | Руководители: | + | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] |
| − | + | ||
| − | [[ | + | |
== Расписание докладов == | == Расписание докладов == | ||
| Строка 14: | Строка 12: | ||
! Тема доклада | ! Тема доклада | ||
! Докладчик | ! Докладчик | ||
| − | |||
|- | |- | ||
| − | | | + | | align="center" | 22 февраля |
| + | | Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Шухман Алексей | ||
|- | |- | ||
| − | | Доклад | + | | align="center" | 29 февраля |
| − | | align="center" | | + | | Доклад по теме «Методы решения задачи поиска функциональных соответствий»<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 марта |
| − | | align="center" | | + | | Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 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 апреля |
| − | | align="center" | | + | | Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup> |
| + | | align="center" | Сергеев Максим | ||
|- | |- | ||
| − | | | + | | align="center" | 11 апреля |
| − | | | + | | Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup> |
| + | | align="center" | С.А.Ложкин и М.С.Шуплецов | ||
|- | |- | ||
| − | | Доклад по статье | + | | align="center" | 18 апреля |
| − | | align="center" | | + | | Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup> |
| + | | align="center" | Башмаков Михаил | ||
|- | |- | ||
|} | |} | ||
Версия 20:15, 17 апреля 2024
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.
Руководители: заведующий кафедрой Ложкин Сергей Андреевич, проф. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, асс. Данилов Борис Радиславович
Расписание докладов
|
