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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м (Доклады на спецсеминарах)
м (Доклады на спецсеминарах)
Строка 21: Строка 21:
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
 
{{announce Seminar| 21 сентября
 
{{announce Seminar| 21 сентября
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».  
+
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».<sup>[[Media:Хзмалян_21_09_2018.docx|Аннотация доклада]]
 
| align="center" | Хзмалян Д.Э.
 
| align="center" | Хзмалян Д.Э.
 
|}}
 
|}}

Версия 00:27, 20 сентября 2018

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
21 сентября Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада Хзмалян Д.Э.


Сложность решения дискретных задач
20 апреля 2018 г. Представление выпускных работ студентов 418 группы. Презентации работ Мазуренко Анастасии, Саковича Марка, Соломатовой Марии. Мазуренко Анастасия (418 гр.), Сакович Марк (418 гр.), Соломатова Мария (418 гр.)
13 апреля 2018 г. Представление выпускных работ студентов 618/1 группы. Презентации работ Астаховой Анастасии, Вершинина Александра, Мельник Марины. Астахова Анастасия (618/1 гр.), Вершинин Александр (618/1 гр.), Мельник Марина (618/1 гр.)


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


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

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

М. Аббас