Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) |
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
||
Строка 39: | Строка 39: | ||
| О динамической активности схем из функциональных элементов. | | О динамической активности схем из функциональных элементов. | ||
| align="center" | Шуплецов М.С. | | align="center" | Шуплецов М.С. | ||
+ | |- | ||
+ | |||
+ | | rowspan="2" align="center" | 27 октября | ||
+ | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | ||
+ | |- | ||
+ | | Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]] | ||
+ | | align="center" | Автайкина Мария | ||
|- | |- | ||
Версия 12:57, 16 октября 2017
Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.
Руководители: проф. Ложкин Сергей Андреевич, проф. Марченко Александр Михайлович, доц. Романов Дмитрий Сергеевич.
Участники семинара и таблица посещаемости (14.12.2016)
Расписание докладов
|