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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Строка 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.

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

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

Дата Тема доклада Докладчик
22 февраля Доклад по статье «Finding Efficient Circuits Using SAT-Solvers» Аннотация доклада Купраш Е.Д.
1 марта Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»Аннотация доклада Жуков В.В.


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