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