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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 30: Строка 30:
 
| '''О сложности проверки полиномиальной полноты конечных квазигрупп'''. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018.  
 
| '''О сложности проверки полиномиальной полноты конечных квазигрупп'''. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018.  
 
| Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т)
 
| Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т)
|}}
+
| }}
 
   
 
   
 
|-
 
|-
Строка 36: Строка 36:
 
{{announce Seminar|  
 
{{announce Seminar|  
 
|
 
|
| }}
+
| }}
  
  

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

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

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

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

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


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