Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
30 сентября 2016 года	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Дискретный анализ
30 сентября 2016 г.	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Теория управляющих систем и математические модели СБИС
21 октября 2016 г.	Доклад "Синтез обратимых схем без дополнительной памяти" Аннотация доклада	Закаблуков Д.В.
Некоторые вопросы теории управляющих систем
21 октября 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) сложность указанных задач неэлементарна.	Темербекова Г.Г.
21 октября 2016 года	Продолжение доклада по статье P.A. Abdulla, B. Jonssen "Verifying Programs with Unreliable Channels": Information and Computation, v. 127, 1996, p. 91-101.	Темербекова Г.Г.