Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
30 сентября 2016 года	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Дискретный анализ
30 сентября 2016 г.	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Теория управляющих систем и математические модели СБИС
7 октября 2016 г.	Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" Аннотация доклада	Чемоданова О.М.
Сложность решения дискретных задач
30 сентября 2016 г.	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Теоретические проблемы программирования
23 сентября 2016 года	Памяти Риммы Ивановны Подловченко.	Захаров В.А.
7 октября 2016 года	Обзор материалов 25-го Международного семинара "Concurrency, Specification and Programming (CS&P 2016)".	Захаров В.А.
14 октября 2016 года	Доклад по статье P.A. Abdulla, B. Jonssen "Verifying Programs with Unreliable Channels": Information and Computation, v. 127, 1996, p. 91-101. Рассматривается верификация одного класса систем с бесконечным числом состояний, образованных из процессов, которые обмениваются данными с помощью неограниченных ненадежных FIFO каналов с возможностью потери сообщений. Показано, что для этого класса систем некоторые разрешимы некоторые задачи верификации, а именно проблемы достижимости, проблема безопасности относительно регулярных множеств трасс и проблемы живости относительно множеств состояний управления. При этом следует заметить (и это очень удивительно!), что 1) все перечисленные задачи алгоритмически неразрешимы в том случае, если для каналы абсолютно надежны и 2) сложность указанных задач неэлементарна.	Темербекова Г.Г.