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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 34: Строка 34:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 30 ноября 2018 г.
+
{{announce Seminar|  
 
|
 
|
 
|  }}
 
|  }}

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

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

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

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

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


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