Элементы теории дискретных управляющих систем
Обязательный курс для бакалавров (интегрированных магистров) кафедры математической кибернетики.
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.su), преподаватель семинарских занятий – к.ф.-м.н. Нагорный Александр Степанович.
Курс «Элементы теории дискретных управляющих систем» читается параллельно с курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов.
В нём рассматриваются дополнительные вопросы минимизации дизъюнктивных нормальных форм (ДНФ), массового и индивидуального синтеза УС. В программу курса входят, в частности, результаты о длине цепи в единичном кубе и о длине кратчайшей ДНФ для почти всех функций алгебры логики, а также об асимптотике функции Шеннона для сложности формул и схем из функциональных элементов в произвольном базисе.
Материалы семинаров
- Семинар: Применение метода забивающих констант (28.03)
- Семинар: Верхние оценки числа схем и нижние мощностные оценки функций Шеннона для сложности схем из некоторых классов (12.04)
- Семинар: Построение универсальных множеств и обобщённых разложений (18.04)
Материалы по курсу
- Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: гр. 318 (25.02.2014)
- Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): Часть 1 (25.02.2013), Часть 2 (25.06.2013), Часть 3 (14.05.2013), Часть 4 (04.05.2013)
| 15 марта | Уточнённый график проведения занятий и контрольных работ на период с 17.03 по 04.04 для 318 группы:
17.03 - семинар №1 (с 10:30 до 12:05, ауд. 503); 19.03, 26.03 и 02.04 - лекции по вопросам 5, 13 и семинар №7 соответственно (с 10:30 до 12:05, ауд. 504; 24.03 - тест-контрольная №1 (с 10:30 до 12:05, ауд. 503) по вопросам 1-4 (теория и задача); |
