Шаблон:Current Seminars
Материал из Кафедра математической кибернетики
Версия от 11:56, 12 октября 2016; RomanovDS (обсуждение | вклад)
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||
Дискретные функции и сложность алгоритмов | ||
30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
Дискретный анализ | ||
30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
Теория управляющих систем и математические модели СБИС | ||
14 октября 2016 г. | Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" Аннотация доклада | Любич И.Г. |
Некоторые вопросы теории управляющих систем | ||
14 октября 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) сложность указанных задач неэлементарна. |
Темербекова Г.Г.
|