Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 19: Строка 19:
  
 
|-
 
|-
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' и '''[[Некоторые вопросы теории управляющих систем]]'''
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
{{announce Seminar|17 февраля 2017 г. ауд. 507
+
{{announce Seminar|17 марта 2017 г. ауд. 507
| Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»
+
| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
| Кинжикеева Д.}}
+
| align="center" | Трубицын Ю.А.}}
  
 +
|-
 +
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 +
{{announce Seminar|17 марта 2017 г. ауд. 582а
 +
| Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».<sup>[[Media:pcst-annot-170303.pdf|Аннотация доклада]]</sup>
 +
| Козловский А.Н. }}
  
 
|-
 
|-

Версия 07:58, 16 марта 2017

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
17 марта 2017 г. ауд. 507 Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада Трубицын Ю.А.
Некоторые вопросы теории управляющих систем
17 марта 2017 г. ауд. 582а Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада Козловский А.Н.
9 декабря 2016 г. Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" Аннотация доклада Ложкин С.А.
Сложность решения дискретных задач
Теоретические проблемы программирования
10 марта 2017 г. Простые алгоритмы анализа сетей Петри.

Доклад по статье A. Finkel, J. Leroux "Recent and Simple Algorithms For Petri Nets"

В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее.

Е. Таратута