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

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

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.su), преподаватель семинарских занятий – к.ф.-м.н. Нагорный Александр Степанович.

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

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

Материалы семинаров

• Семинар: Применение метода забивающих констант (28.03)
• Семинар: Верхние оценки числа схем и нижние мощностные оценки функций Шеннона для сложности схем из некоторых классов (12.04)
• Семинар: Построение универсальных множеств и обобщённых разложений (18.04)

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

• Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: гр. 318 (11.06.2014)
• Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): Часть 1 (25.02.2013), Часть 2 (25.06.2013), Часть 3 (14.05.2013), Часть 4 (04.05.2013)

Объявления

11 июня	Экзамен 14.06.2014 будет проходить с 9:00 в ауд. 504 в устной форме. Каждый студент получает билет, содержащий два теоретических вопроса и одну задачу. Окончательный вариант вопросов и типовых задач к экзамену приведён выше.
06 июня	Консультация к экзамену по курсу "Элементы теории дискретных управляющих систем" пройдёт 13 июня в 15:30 в ауд. 505.
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 (теория и задача);