Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) |
DanilovB (обсуждение | вклад) |
||
| Строка 14: | Строка 14: | ||
|- | |- | ||
| align="center" | 22 февраля | | align="center" | 22 февраля | ||
| − | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers» | + | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers» <sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup> |
| − | | align="center" | Купраш Е. | + | | align="center" | Купраш Е.Д. |
| + | |- | ||
| + | | align="center" | 1 марта | ||
| + | | Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup> | ||
| + | | align="center" | Жуков В.В. | ||
|} | |} | ||
Версия 02:13, 28 февраля 2019
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 606.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|
