Просмотр исходного текста страницы Элементы теории дискретных управляющих систем

__NOTOC__
<div style="max-width:940px">

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

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

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

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

В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.
<!--
==Материалы семинаров==
* '''[[Media: elems_sem1.pdf | Семинар]]''': Применение метода забивающих констант (28.03)
* '''[[Media: elems_sem2.pdf | Семинар]]''': Верхние оценки числа схем и нижние мощностные оценки функций Шеннона для сложности схем из некоторых классов (12.04)
* '''[[Media: elems_sem3.pdf | Семинар]]''': Построение универсальных множеств и обобщённых разложений (18.04)
-->

== Материалы по курсу ==
* [[Media:Вопросы_ЭТДУС_418.pdf|Вопросы и типовые задачи к экзамену, сроки проведения контрольных мероприятий]] (01.11.2016)
* [[Media:Курс_ЭТДУС_418.pdf|Информационные материалы]] (14.12.2016)

{{Шаблон:Элементы теории дискретных управляющих систем - Объявления}}

[[Категория:Лекционные курсы кафедры МК]]