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

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

Спецсеминар для бакалавров 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^{Аннотация доклада}	Лопунов М.А.

@@ Строка 22: / Строка 22: @@
 |-
 | align="center" | 15 марта
-| Доклад по работе К.А. Попкова "Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов" (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197<sup>[[Media:Ipmp2556.pdf|Препринт]]</sup>
+| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup>
-| align="center" | Лопунов М.А.
+| align="center" | Лопунов&nbsp;М.А.
 |}