Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
Строка 38: | Строка 38: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
− | {{announce Seminar| | + | {{announce Seminar| 24 марта 2017 г. |
− | | ''' | + | | '''Механизация минимизации детерминированных обобщенных автоматов Бюхи'''. |
− | + | Доклад по статье S. Baarir, A. Duret-Lutz “Mechanizing the Minimization of Deterministic Generalized Büchi Automata” | |
− | + | Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы. | |
− | | | + | | З. Джусупекова, Г. Темербекова }} |
Версия 13:55, 20 марта 2017
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||
Дискретные функции и сложность алгоритмов | ||
Дискретный анализ | ||
Теория управляющих систем и математические модели СБИС | ||
17 марта 2017 г. ауд. 507 | Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада | Трубицын Ю.А. |
Некоторые вопросы теории управляющих систем | ||
17 марта 2017 г. ауд. 582а | Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада | Козловский А.Н. |
Сложность решения дискретных задач | ||
Теоретические проблемы программирования | ||
24 марта 2017 г. | Механизация минимизации детерминированных обобщенных автоматов Бюхи.
Доклад по статье S. Baarir, A. Duret-Lutz “Mechanizing the Minimization of Deterministic Generalized Büchi Automata” Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы. |
З. Джусупекова, Г. Темербекова
|