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