Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 19: | Строка 19: | ||
|- | |- | ||
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 3 апреля 2015 г. |
| − | | | + | | Использования методов логического синтеза для ускорения решения задач верификации схем |
| − | | | + | | Павлов А. В. |
}} | }} | ||
|- | |- | ||
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 3 апреля 2015 г. |
| − | | | + | | Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций» |
| − | | | + | | Бежовец А. В. |
}} | }} | ||
|- | |- | ||
Версия 19:19, 31 марта 2015
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 27 марта 2015 г. | Методы синтеза и оценки сложности схем с некоторыми структурными ограничениями Аннотация доклада | Коноводов В. А. |
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 3 апреля 2015 г. | Использования методов логического синтеза для ускорения решения задач верификации схем | Павлов А. В. |
| Некоторые вопросы теории управляющих систем | ||
| 3 апреля 2015 г. | Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций» | Бежовец А. В. |
| Теоретические проблемы программирования | ||
| Сложность решения дискретных задач | ||
| Просеминар для 2-го курса | ||
