Шаблон: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” Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы. |
З. Джусупекова, Г. Темербекова
|
