Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
(→Расписание докладов) |
DanilovB (обсуждение | вклад) (→Расписание докладов) |
||
(не показана 161 промежуточная версия 4 участников) | |||
Строка 1: | Строка 1: | ||
− | Спецсеминар | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.'' |
+ | |||
+ | Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]] | ||
== Расписание докладов == | == Расписание докладов == | ||
Строка 11: | Строка 13: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | |align="center" | | + | | align="center" | 22 февраля |
− | | | + | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.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" | | ||
|} | |} | ||
Строка 26: | Строка 54: | ||
|} | |} | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
[[Категория:Спецсеминары кафедры математической кибернетики]] | [[Категория:Спецсеминары кафедры математической кибернетики]] |
Версия 22:19, 16 мая 2019
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|