Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 2: | Строка 2: | ||
{| | {| | ||
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | |colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 3 апреля 2019 г. |
| − | | | + | | '''Конъюнктивные формы для предикатов на конечных множествах и их применение |
| − | | }} | + | в задачах обобщенной выполнимости'''. В докладе рассматриваются представления предикатов на k-элементных множествах в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Найдены |
| + | свойства ОКНФ, которые обобщают соответствующие свойства КНФ функций алгебры логики. Получены свойства ОКНФ предикатов, инвариантных относительно некоторых k-значных функций, в частности, функций почти единогласия и полурешеточных функций. Показано, как полученные свойства можно применять при решении некоторых задач обобщенной выполнимости. | ||
| + | | Селезнева С.Н. (МГУ имени М.В. Ломоносова, ф-т ВМК)}} | ||
|- | |- | ||
| Строка 20: | Строка 22: | ||
|- | |- | ||
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| |
| − | | | + | | |
| − | + | | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | |}} | + | |
|- | |- | ||
|colspan="3"|'''[[Сложность решения дискретных задач]]''' | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | ||
{{announce Seminar| 1 марта 2019 г. | {{announce Seminar| 1 марта 2019 г. | ||
| − | | ''' | + | | '''О сложности проверки полиномиальной полноты конечных квазигрупп'''. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018. |
| − | | | + | | Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т) |
|}} | |}} | ||
| Строка 42: | Строка 36: | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
{{announce Seminar| 30 ноября 2018 г. | {{announce Seminar| 30 ноября 2018 г. | ||
| − | |||
| | | | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| }} | | }} | ||
Версия 19:04, 28 марта 2019
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 3 апреля 2019 г. | Конъюнктивные формы для предикатов на конечных множествах и их применение
в задачах обобщенной выполнимости. В докладе рассматриваются представления предикатов на k-элементных множествах в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Найдены свойства ОКНФ, которые обобщают соответствующие свойства КНФ функций алгебры логики. Получены свойства ОКНФ предикатов, инвариантных относительно некоторых k-значных функций, в частности, функций почти единогласия и полурешеточных функций. Показано, как полученные свойства можно применять при решении некоторых задач обобщенной выполнимости. |
Селезнева С.Н. (МГУ имени М.В. Ломоносова, ф-т ВМК) |
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| Сложность решения дискретных задач | ||
| 1 марта 2019 г. | О сложности проверки полиномиальной полноты конечных квазигрупп. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018. | Галатенко А.В. (МГУ имени М.В. Ломоносова, мех-мах ф-т)
|
| Теоретические проблемы программирования | ||
| 30 ноября 2018 г. |
| |
