МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ МГУ, НИИ ПРИКЛАДНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ ННГУ и НИЖЕГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ провели в Нижегородском государственном педагогическом университете с 20 по 25 ноября 2000 г. XI Межгосударственную школу-семинар "Синтез и сложность управляющих систем".

Алехина Марина Анатольевна
О надежности двойственных схем

Алехина Марина Анатольевна
О надежности схем из ненадежных элементов x|y

Буевич Вячеслав Александрович
О задаче Слупецкого для автоматов

Валентинов Евгений Валентинович
О сложности булевых функций в классах КС, корректирующих различные типы неисправностей

Варновский Николай Павлович
Типы нулевого разглашения

Веселов С. И.
Алгоритм расшифровки пороговой функции двух переменных

Винокуров Сергей Федорович
Классы операторных полиномиальных представлений булевых функций

Груздев Дмитрий Валентинович
Описание множества распределений объема четырехмерного куба по симплексам его триангуляций

Давыдок Дмитрий Валерьевич
Разрешимость элементарной теории смешанных линейных неравенств с целыми рациональными переменными

Дебрев Евгений Валерьевич
Об одной задаче комбинаторного поиска

Жильцова Лариса Павловна
Обобщения результатов К. Шеннона на кодирование стохастических контекстно-свободных языков

Золотых Николай Юрьевич
О сложности идентификации полуплоскости, заданной в целочисленных точках квадрата

Иорданский Михаил Анатольевич
Конструктивные описания графов

Касим-Заде Октай Мурадович
О метрических свойствах инвариантных классов булевых функций

Князев А. Н.
О распознавании слов, порожденных линейными сильно связными грамматиками

Коршунов Алексей Дмитриевич
При каких k в почти каждом n-вершинном графе имеются все k-вершинные подграфы

Кочергин Вадим Васильевич
О некоторых обобщениях задачи об аддитивных цепочках

Косовский Николай Кириллович, Опара Марина Александровна
Сложность разрешения логик с ограниченным числом ранжированных объектов

Косовский Николай Кириллович, Скворцова Мария Александровна
Верхние оценки времени выполнения и/или заданий

Кузнецов Юрий Владимирович
О числе невырожденных булевых форм

Мошкова Альбина Михайловна
О максимальных расширениях класса константных неисправностей бесповторных СФЭ, сохраняющих эффективность диагностики

Мошков Михаил Юрьевич
О классификации систем проверок по сложности деревьев решений и систем решающих правил

Насыров Азат Зуфарович (докладчик - Буевич Вячеслав Александрович)
Об обходе лабиринтов "красящими" автоматами

Никитин Андрей Анатольевич
О сложности автоматных конвейерных схем

Нурмеев Наиль Нуреевич
Сложность аппроксимации распределений вероятностей

Окольнишникова Елизавета Антоновна
О некоторых операциях над булевыми функциями

Орехова Елена Андреевна
О соотношении между неявной и параметрической полнотой в трехзначной логике

Перязев Николай Алексеевич
Об операторах булевых функций

Попов Сергей Викторович
О пропозициональных матрицах

Потапов Владимир Николаевич
Энтропия и мультипликативная сложность слов

Проскуряков Алексей Иванович
О реализации многочленов сетями из функциональных элементов

Сапоженко Александр Антонович
О числе независимых множеств в графах и числе множеств, свободных от сумм

Таранников Юрий Валерьевич
О неверности одного естественного обобщения теоремы о максимальном паросочетании в двух соседних слоях булева куба

Таранников Юрий Валерьевич, Кириенко Денис Павлович
Спектральный анализ корреляционно-иммунных функций высокого порядка

Тишков Артем Валерьевич, Тулупьев А. Л.
Применение рациональнозначных оценок истинности при моделировании неопределенности в структурированных сетях фрагментов знаний

Хвостиченко Борис Сергеевич
Оценки сложности алгоритма вычисления числа "Пи"

Часовских Анатолий Александрович, Смирнова О. В.
О минимизации числа операций обратной связи при реализации конечных автоматов

Чашкин Александр Викторович
О средней сложности симметрических пороговых булевых функций

Черухин Дмитрий Юрьевич
Реализация линейной функции формулами в различных базисах

Чикалов И. В.
О средней временной сложности представления булевых функций деревьями решений

Чирков А. Ю., Веселов С. И.
Минимизация квазивыпуклых функций на плоскости

Шевченко Владимир Иванович
О сложности диагностики "И"- и "ИЛИ"- замыканий переменных булевых функций, сохраняющих константы"

Шевченко Владимир Иванович, Мошков Михаил Юрьевич, Мошкова Альбина Михайловна
Эффективные методы диагностики неисправностей схем из функциональных элементов

Шеховцов Сергей Геннадиевич
Математическое и естественнонаучное образование в современной России: тенденции и перспективы

Шоломов Лев Абрамович
О сложности некоторых оптимизационных задач, связанных с моделью последовательного выбора

В субботу, 25 ноября проводилась общая дискуссия на тему:

В дискуссии выступили: О. Б. Лупанов, О. М. Касим-Заде, Ю. В. Таранников, А. Д. Коршунов, Н. К. Косовский, Н. А. Карпова, Н. Н. Нурмеев, С. В. Попов, М. А. Иорданский и другие участники школы-семинара.