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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 34: Строка 34:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 24 ноября 2017 г.
+
{{announce Seminar| 1 декабря 2017 г.
  
 
| Доклад по статье J. Howard Johnson '''Рациональные отношения эквивалентности'''  
 
| Доклад по статье J. Howard Johnson '''Рациональные отношения эквивалентности'''  

Версия 19:40, 28 ноября 2017

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
24 ноября 2017 г. Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» Крюков Павел


Сложность решения дискретных задач
1 декабря 2017 г. Применение кодов восстановления LRC для хранения данных в Яндексе Мазуров А.А. (Яндекс)


Теоретические проблемы программирования
1 декабря 2017 г.


Доклад по статье J. Howard Johnson Рациональные отношения эквивалентности

В данной статье рассматриваются рациональные отношения (конечные трансдукции), которые являются отношениями эквивалентности. После установления иерархии включений, изучаются сложность вычисления канонических функций и разрешимость некоторых задач принадлежности к классу. Рассматриваются следующие классы: рациональные отношения эквивалентности, ядра эквивалентности рациональных функций, детерминированные рациональные отношения эквивалентности, ядра эквивалентности субсеквенциальных функций, распознаваемые отношения эквивалентности, ограниченные по длине отношения эквивалентности и конечные отношения эквивалентности.  

М. Аббас