Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
Строка 39: | Строка 39: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
− | {{announce Seminar| | + | {{announce Seminar| 03 ноября 2017 г. |
| | | | ||
− | Доклад по статье R. Alur, D.L. Dill "A theory of timed automata" ( | + | Доклад по статье R. Alur, D.L. Dill "A theory of timed automata" (Часть 2) |
− | + | Во второй части изучения статьи будут рассмотрены вопросы, связанные с алгоритмическими задачами проверки некоторых свойств вычислений временных автоматов. В ходе доклада будут рассмотрены некоторые алгоритмы для временных автоматов, разобран алгоритм проверки пустоты языка временного автомата и произведена оценка его сложности. Будет показано, что проблема универсальности для временных автоматов является неразрешимой. | |
− | | | + | | Джусупекова З. А. }} |
Версия 18:36, 29 октября 2017
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||
Дискретные функции и сложность алгоритмов | ||
Дискретный анализ | ||
20 октября 2017 г. | О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А. | Вершинин А., 618/1 гр.
|
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем | ||
20 октября 2017 г. | О динамической активности схем из функциональных элементов. | Шуплецов М.С. |
27 октября 2017 г. | Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада | Автайкина Мария
|
Сложность решения дискретных задач | ||
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) Во второй части изучения статьи будут рассмотрены вопросы, связанные с алгоритмическими задачами проверки некоторых свойств вычислений временных автоматов. В ходе доклада будут рассмотрены некоторые алгоритмы для временных автоматов, разобран алгоритм проверки пустоты языка временного автомата и произведена оценка его сложности. Будет показано, что проблема универсальности для временных автоматов является неразрешимой. |
Джусупекова З. А.
|