Элементы теории дискретных управляющих систем — различия между версиями

Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 7 семестре в объёме 36 часов лекций.

Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2016-2017 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.su) и доцент Романов Дмитрий Сергеевич (d_s_romanov@mail.ru).

Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов контроля УС.

В нём рассматриваются дополнительные вопросы как массового так и индивидуального синтеза УС. В программу курса входят, в частности, результаты об асимптотике функции Шеннона для сложности формул, схем из функциональных элементов, контактных и итеративно-контактных схем в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе. Изучается сложность реализации ряда ФАЛ и систем ФАЛ, встречающихся в приложениях, в некоторых классах УС.

В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.

Материалы по курсу

• Таблица посещаемости и успеваемости (23.01.2017)
• Вопросы и типовые задачи к экзамену (23.01.2017)
• Информационные материалы (14.12.2016)
• Ложкин С.А. Элементы теории синтеза дискретных управляющих систем [Методические материалы] : Часть 1 (22.01.2017)