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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 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 (теория и задача);