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

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

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

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

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

Расписание докладов

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

Аннотация доклада

Зизов В.


архив докладов за прошлые семестры