Элементы теории дискретных управляющих систем — различия между версиями
DanilovB (обсуждение | вклад) (→Материалы по курсу) |
DanilovB (обсуждение | вклад) |
||
| Строка 2: | Строка 2: | ||
<div style="max-width:940px"> | <div style="max-width:940px"> | ||
| − | Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики. | + | Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 7 семестре в объёме 36 часов лекций. |
| − | Чтение курса обеспечивается кафедрой математической кибернетики, | + | Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2016-2017 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su) и доцент Романов Дмитрий Сергеевич (d_s_romanov@mail.ru). |
| − | Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом [[Основы кибернетики (318, 418 группы)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов. | + | Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом [[Основы кибернетики (318, 418 группы)|«Основы кибернетики»]] и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов контроля УС. |
| + | |||
| + | В нём рассматриваются дополнительные вопросы как массового так и индивидуального синтеза УС. В программу курса входят, в частности, результаты об асимптотике функции Шеннона для сложности формул, схем из функциональных элементов, контактных и итеративно-контактных схем в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе. Изучается сложность реализации ряда ФАЛ и систем ФАЛ, встречающихся в приложениях, в некоторых классах УС. | ||
| + | |||
| + | В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов. | ||
| − | |||
<!-- | <!-- | ||
==Материалы семинаров== | ==Материалы семинаров== | ||
| Строка 17: | Строка 20: | ||
== Материалы по курсу == | == Материалы по курсу == | ||
| − | * [[Media:Вопросы_ЭТДУС_418.pdf|Вопросы и типовые задачи к экзамену]] (01.11.2016) | + | * [[Media:Вопросы_ЭТДУС_418.pdf|Вопросы и типовые задачи к экзамену, сроки проведения контрольных мероприятий]] (01.11.2016) |
<br> | <br> | ||
Версия 01:55, 6 ноября 2016
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики, который читается в 7 семестре в объёме 36 часов лекций.
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2016-2017 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.su) и доцент Романов Дмитрий Сергеевич (d_s_romanov@mail.ru).
Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов контроля УС.
В нём рассматриваются дополнительные вопросы как массового так и индивидуального синтеза УС. В программу курса входят, в частности, результаты об асимптотике функции Шеннона для сложности формул, схем из функциональных элементов, контактных и итеративно-контактных схем в произвольном базисе, а также о поведении функции Шеннона для глубины функций алгебры логики (ФАЛ) в произвольном базисе. Изучается сложность реализации ряда ФАЛ и систем ФАЛ, встречающихся в приложениях, в некоторых классах УС.
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов.
Материалы по курсу
| [архив объявлений] |
