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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 +
 +
{{announce Seminar| 27 сентября 2019 г.
 +
|'''A survey on temporal logics for specifying and verifying real-time systems''' (S. Konur).
 +
Обзорная статья, посвящённая сравнению выразительных возможностей и задачам разрешимости для различных темпоральных логик. Существуют две основные семантики для моделирования времени: точечная и интервальная семантика. На семинаре будут рассмотрены выразительные возможности, разрешимость и вычислительная сложность двух задач, связанные с применением темпоральных логик в информатике - проверка выполнимости формул и задача Model Checking, - для нескольких темпоральных логик, основанных на точечной семантике.
 +
| Винарский Е.М. (МГУ имени М.В. Ломоносова, ф-т ВМК)}}
 +
 +
|-
 +
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 +
 +
 +
 
{{announce Seminar| 3 апреля 2019 г.
 
{{announce Seminar| 3 апреля 2019 г.
 
| '''Конъюнктивные формы для предикатов на конечных множествах''' '''и их применение в задачах обобщенной выполнимости'''.  
 
| '''Конъюнктивные формы для предикатов на конечных множествах''' '''и их применение в задачах обобщенной выполнимости'''.  

Версия 13:32, 26 сентября 2019

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

Дискретная математика и математическая кибернетика
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. Галатенко А.В. (МГУ имени М.В. Ломоносова, мех.-мат. ф-т)


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