Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
м (→Доклады на спецсеминарах) |
м (→Доклады на спецсеминарах) |
||
Строка 21: | Строка 21: | ||
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | ||
{{announce Seminar| 21 сентября | {{announce Seminar| 21 сентября | ||
− | | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».<sup>[[Media:Хзмалян_21_09_2018. | + | | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]] |
| align="center" | Хзмалян Д.Э. | | align="center" | Хзмалян Д.Э. | ||
|}} | |}} |
Версия 00:28, 20 сентября 2018
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||
Дискретные функции и сложность алгоритмов | ||
Дискретный анализ | ||
Теория управляющих систем и математические модели СБИС | ||
21 сентября | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада | Хзмалян Д.Э.
|
Сложность решения дискретных задач | ||
20 апреля 2018 г. | Представление выпускных работ студентов 418 группы. Презентации работ Мазуренко Анастасии, Саковича Марка, Соломатовой Марии. | Мазуренко Анастасия (418 гр.), Сакович Марк (418 гр.), Соломатова Мария (418 гр.) |
13 апреля 2018 г. | Представление выпускных работ студентов 618/1 группы. Презентации работ Астаховой Анастасии, Вершинина Александра, Мельник Марины. | Астахова Анастасия (618/1 гр.), Вершинин Александр (618/1 гр.), Мельник Марина (618/1 гр.)
|
Теоретические проблемы программирования | ||
1 декабря 2017 г.
|
Доклад по статье J. Howard Johnson Рациональные отношения эквивалентности
В данной статье рассматриваются рациональные отношения (конечные трансдукции), которые являются отношениями эквивалентности. После установления иерархии включений, изучаются сложность вычисления канонических функций и разрешимость некоторых задач принадлежности к классу. Рассматриваются следующие классы: рациональные отношения эквивалентности, ядра эквивалентности рациональных функций, детерминированные рациональные отношения эквивалентности, ядра эквивалентности субсеквенциальных функций, распознаваемые отношения эквивалентности, ограниченные по длине отношения эквивалентности и конечные отношения эквивалентности. |
М. Аббас
|