Некоторые вопросы теории управляющих систем — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
Строка 30: Строка 30:
 
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
 
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
 
| Смирной Максим
 
| Смирной Максим
 +
|-
 +
| rowspan="2" align="center" | 4 марта
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 +
|-
 +
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
 +
| Вяткин Евгений
 
|}
 
|}
  

Версия 11:54, 2 марта 2016

NekVoprSinteza.jpg

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

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


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

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


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

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

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

Участники

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


Ссылки