Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 20: | Строка 20: | ||
|- | |- | ||
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 16 мая 2014 г. |
| − | | | + | | Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций" |
| − | | | + | | Чеховская Екатерина }} |
|- | |- | ||
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 14 мая 2014 г. |
| − | | Доклад по статье | + | | Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" |
| − | | | + | | Кухтинов Александр |
}} | }} | ||
|- | |- | ||
Версия 22:06, 13 мая 2014
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 25 апреля 2014 г. | Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой | Подымов В.В. (ф-т ВМК МГУ имени М.В.Ломоносова) |
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 16 мая 2014 г. | Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций" | Чеховская Екатерина |
| Некоторые вопросы теории управляющих систем | ||
| 14 мая 2014 г. | Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" | Кухтинов Александр |
| Теоретические проблемы программирования | ||
| Сложность решения дискретных задач | ||
| Просеминар для 2-го курса | ||
