Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 2: | Строка 2: | ||
{| | {| | ||
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | |colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 25 апреля 2014 г. |
| − | | | + | | Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой |
| − | | | + | | Подымов В.В. (ф-т ВМК МГУ имени М.В.Ломоносова) |
| }} | | }} | ||
Версия 13:21, 21 апреля 2014
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 25 апреля 2014 г. | Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой | Подымов В.В. (ф-т ВМК МГУ имени М.В.Ломоносова)
|
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 18 апреля 2014 г. | Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем» | Доленко О. С. |
| Некоторые вопросы теории управляющих систем | ||
| 16 апреля 2014 г. | Доклад по статье N. Blum, M. Seysen «Characterization of all optimal networks for a simultaneous computation of AND and NOR» | Добровецкий Д. И. |
| Теоретические проблемы программирования | ||
| Сложность решения дискретных задач | ||
| Просеминар для 2-го курса | ||
