Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
3 апреля 2019 г.	Конъюнктивные формы для предикатов на конечных множествах и их применение в задачах обобщенной выполнимости. В докладе рассматриваются представления предикатов на k-элементных множествах в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Найдены свойства ОКНФ, которые обобщают соответствующие свойства КНФ функций алгебры логики. Получены свойства ОКНФ предикатов, инвариантных относительно некоторых k-значных функций, в частности, функций почти единогласия и полурешеточных функций. Показано, как полученные свойства можно применять при решении некоторых задач обобщенной выполнимости.	Селезнева С.Н. (МГУ имени М.В. Ломоносова, ф-т ВМК)
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
1 марта 2019 г.	О сложности проверки полиномиальной полноты конечных квазигрупп. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018.	Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т)
Теоретические проблемы программирования
30 ноября 2018 г.