Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
17 марта 2017 г. ауд. 507	Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада	Трубицын Ю.А.
Некоторые вопросы теории управляющих систем
17 марта 2017 г. ауд. 582а	Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада	Козловский А.Н.
Сложность решения дискретных задач
Теоретические проблемы программирования
24 марта 2017 г.	Механизация минимизации детерминированных обобщенных автоматов Бюхи. Доклад по статье S. Baarir, A. Duret-Lutz “Mechanizing the Minimization of Deterministic Generalized Büchi Automata” Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы.	З. Джусупекова, Г. Темербекова