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

Версия 00:11, 18 октября 2019

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

Дата	Тема доклада	Докладчик
27 сентября	Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»^{Аннотация доклада}	Хзмалян Д.Э.
11 октября	Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)^{Аннотация доклада}	Лопунов М.А.
18 октября	Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»^{Аннотация доклада}	Зизов В.

@@ Строка 22: / Строка 22: @@
 |-
 | align="center" | 18 октября
-| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»
+| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
-<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
 | align="center" | Зизов В.
 |}