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

Версия 19:57, 24 октября 2019

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

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

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