Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 39: Строка 39:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 27 октября 2017 г.  
+
{{announce Seminar| 03 ноября 2017 г.  
 
|  
 
|  
  
Доклад по статье  R. Alur, D.L. Dill "A theory of timed automata" (Часть1)
+
Доклад по статье  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)

Во второй части изучения статьи будут рассмотрены вопросы, связанные с алгоритмическими задачами проверки некоторых свойств вычислений временных автоматов. В ходе доклада будут рассмотрены некоторые алгоритмы для временных автоматов, разобран алгоритм проверки пустоты языка временного автомата и произведена оценка его сложности. Будет показано, что проблема универсальности для временных автоматов является неразрешимой.

Джусупекова З. А.