Некоторые вопросы теории управляющих систем

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
NekVoprSinteza.jpg

Спецсеминар для студентов 3 курса.

Проходит по пятницам в 16:20 в аудитории 713.


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

Дата Тема доклада Докладчик
19 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С.
26 февраля Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада Смирной Максим
4 марта Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 505)
Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". Аннотация доклада Вяткин Евгений
11 марта Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. Аннотация доклада Филимонов Владимир
18 марта О соотношении между сложностью и глубиной формул. Аннотация доклада Чемоданова О.М.


   
     
темы семинаров предварительные, следите за возможными изменениями архив докладов за прошлые семестры

Руководители

Научные кураторы

Участники

Студенты 3-го курса:


Ссылки