Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 39: | Строка 39: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 10 марта 2017 г. |
| − | | ''' | + | | '''Простые алгоритмы анализа сетей Петри'''. |
| − | Доклад по статье | + | Доклад по статье A. Finkel, J. Leroux "Recent and Simple Algorithms For Petri Nets" |
| − | + | В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее. | |
| − | + | | Е. Таратута }} | |
| − | | | + | |
Версия 14:21, 10 марта 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем | ||
| 17 февраля 2017 г. ауд. 507 | Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» | Кинжикеева Д.
|
| 9 декабря 2016 г. | Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" Аннотация доклада | Ложкин С.А. |
| Сложность решения дискретных задач | ||
| Теоретические проблемы программирования | ||
| 10 марта 2017 г. | Простые алгоритмы анализа сетей Петри.
Доклад по статье A. Finkel, J. Leroux "Recent and Simple Algorithms For Petri Nets" В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее. |
Е. Таратута
|
