|
|
| Строка 43: |
Строка 43: |
| | | align="center" | доцент кафедры МАТИС | | | align="center" | доцент кафедры МАТИС |
| | механико-математического факультета Часовских А.А. | | механико-математического факультета Часовских А.А. |
| | + | |- |
| | + | | align="center" | 21 февраля |
| | + | | Доклад по статье К.А.Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specsem_200221.pdf|Аннотация доклада]]</sup> |
| | + | | align="center" | Мальцев А.Н. |
| | |} | | |} |
| | | | |
Версия 13:40, 20 февраля 2020
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 27 сентября
|
Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»Аннотация доклада
|
Хзмалян Д.Э.
|
| 11 октября
|
Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)Аннотация доклада
|
Лопунов М.А.
|
| 18 октября
|
Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»Аннотация доклада
|
Зизов В.
|
| 25 октября
|
Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»Аннотация доклада
|
Ибрагимов Б.М.
|
| 8 ноября
|
доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»Аннотация доклада
|
проф. Ложкин С.А.
|
| 15 ноября
|
| 22 ноября
|
Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)Аннотация доклада
|
Купраш Е.
|
| 13 декабря
|
Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»Аннотация доклада
|
доцент кафедры МАТИС
механико-математического факультета Часовских А.А.
|
| 21 февраля
|
Доклад по статье К.А.Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»Аннотация доклада
|
Мальцев А.Н.
|
|
