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