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

Версия 16:23, 15 марта 2019

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

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

Версия 00:00, 15 марта 2019 (просмотреть исходный код) DanilovB (обсуждение \| вклад) (→‎Расписание докладов) ← Предыдущая правка		Версия 16:23, 15 марта 2019 (просмотреть исходный код) RomanovDS (обсуждение \| вклад) Следующая правка →
Строка 1:		Строка 1:
−	''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории ~~606~~.''	+	''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.''

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