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

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

Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 505.

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

Аспиранты:

Студенты 5 курса:

Студенты 4 курса:

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