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

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

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

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

@@ Строка 20: / Строка 20: @@
 | Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup>
 | align="center" | Лопунов М.А.
+|-
+| align="center" | 18 октября
+| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»
+<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
+| align="center" | Зизов В.
 |}