Теория управляющих систем и математические модели СБИС

Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 606.

Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович

Расписание докладов

Дата Тема доклада Докладчик 22 февраля Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»Аннотация доклада Купраш Е.Д. 1 марта Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»Аннотация доклада Жуков В.В. 15 марта Доклад по работе К.А. Попкова "Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов" (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197Препринт Лопунов М.А. архив докладов за прошлые семестры