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