Некоторые вопросы теории управляющих систем — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) |
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
||
| Строка 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
Спецсеминар для студентов 3 курса.
Проходит по пятницам в 16:20 в аудитории 713.
Расписание докладов
| |||||||||||||||||||||||
Руководители
- доц. Романов Дмитрий Сергеевич
- ст.преп. Нагорный Александр Степанович
- асс. Шуплецов Михаил Сергеевич
Научные кураторы
- проф. Ложкин Сергей Андреевич
- проф. Захаров Владимир Анатольевич
Участники
Студенты 3-го курса:
