Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
27 сентября 2019 г.	A survey on temporal logics for specifying and verifying real-time systems (S. Konur). Обзорная статья, посвящённая сравнению выразительных возможностей и задачам разрешимости для различных темпоральных логик. Существуют две основные семантики для моделирования времени: точечная и интервальная семантика. На семинаре будут рассмотрены выразительные возможности, разрешимость и вычислительная сложность двух задач, связанные с применением темпоральных логик в информатике - проверка выполнимости формул и задача Model Checking, - для нескольких темпоральных логик, основанных на точечной семантике.	Винарский Е.М. (МГУ имени М.В. Ломоносова, ф-т ВМК)
Теоретические проблемы программирования
3 апреля 2019 г.	Конъюнктивные формы для предикатов на конечных множествах и их применение в задачах обобщенной выполнимости. В докладе рассматриваются представления предикатов на k-элементных множествах в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Найдены свойства ОКНФ, которые обобщают соответствующие свойства КНФ функций алгебры логики. Получены свойства ОКНФ предикатов, инвариантных относительно некоторых k-значных функций, в частности, функций почти единогласия и полурешеточных функций. Показано, как полученные свойства можно применять при решении некоторых задач обобщенной выполнимости.	Селезнева С.Н. (МГУ имени М.В. Ломоносова, ф-т ВМК)
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
29 марта 2019 г.	О сложности проверки полиномиальной полноты конечных квазигрупп. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018.	Галатенко А.В. (МГУ имени М.В. Ломоносова, мех.-мат. ф-т)
Теоретические проблемы программирования