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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 27: Строка 27:
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
{{announce Seminar| 1 марта 2019 г.
+
{{announce Seminar| 29 марта 2019 г.
 
| '''О сложности проверки полиномиальной полноты конечных квазигрупп'''. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018.  
 
| '''О сложности проверки полиномиальной полноты конечных квазигрупп'''. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018.  
 
| Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т)
 
| Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т)

Версия 19:06, 28 марта 2019

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

Дискретная математика и математическая кибернетика
3 апреля 2019 г. Конъюнктивные формы для предикатов на конечных множествах и их применение в задачах обобщенной выполнимости.

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

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


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