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