Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г.	О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А.	Вершинин А., 618/1 гр.
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
3 ноября 2017 г.	Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада	В. К. Курбацкая
Сложность решения дискретных задач
27 октября 2017 г.	Полиномиальность задачи о раскраске в 3 цвета графа без порожденных простых цепей с 6 вершинами. Доклад по статье: Randerath B., Schiermeyer I. 3-Colorability \in P for P_6-free graphs.	Астахова А., 618/1 гр.
Теоретические проблемы программирования
03 ноября 2017 г.	Доклад по статье R. Alur, D.L. Dill "A theory of timed automata" (Часть 2) Во второй части изучения статьи будут рассмотрены вопросы, связанные с алгоритмическими задачами проверки некоторых свойств вычислений временных автоматов. В ходе доклада будут рассмотрены некоторые алгоритмы для временных автоматов, разобран алгоритм проверки пустоты языка временного автомата и произведена оценка его сложности. Будет показано, что проблема универсальности для временных автоматов является неразрешимой.	Джусупекова З. А.