Материал из eSyr's wiki.

Информация о курсе

• Лектор: Ложкин Сергей Андреевич
• Электропочта лектора: mailto:lozhkin@cs.msu.su
• Сайт кафедры: http://mathcyb.cs.msu.su

Содержание курса

Курс состоит из 3 частей:

1. Представление функций с помощью дизъюнктивных нормальных форм
2. Типы управляющих схем, оценка числа преобразований
3. Синтез, сложность и надёжность управляющих схем

По окончании каждой части будет проводиться контрольная:

1. 23 марта
2. 20 апреля
3. 18 мая

Кроме того, будет проведён тест.

Также на лекциях будут даваться задачи для самостоятельного решения. Первый, кто принесёт решение на кафедру, получит освобождение от задач на соответствующую тему.

Дополнительно, на лекциях раз в две недели будут проводиться текущие тесты длительностью 10—15 минут.

При наличии вопросов можно прийти за 10—15 минут до начала пары и задать их лектору.

Литература

1. Яблонский С. В. Введение в дискретную математику. М., Наука, 1986. Часть V, гл. I, §§1-6.
2. Лупанов О. Б. Асимптотические оценки сложности управляющих систем. М., МГУ, 1984.
3. Дискретная математика и математические вопросы кибернетики. М., Наука, 1974, с.116-117,136-137, 72-74.
4. Яблонский С. В. Эквивалентные преобразования управляющих систем. М., МГУ, 1986.
5. Яблонский С. В. Некоторые вопросы надежности и контроля управляющих систем. Сб. «Математические вопросы кибернетики», М., Наука, 1988, с.5-26.
6. Алексеев В. Б., Ложкин С. А. Элементы теории графов, схем и автоматов. М., МГУ, 2000.
7. Ложкин С. А. Структурное моделирование и декомпозиция для некоторых классов схем. М., МГУ, 2001.
8. Ложкин С. А. Основы кибернетики. http://mathcyb.cs.msu.su (учебники)
9. Сапоженко А. А. Некоторые вопросы сложности алгоритмов. М., МГУ, 2001.
10. Алексеев В. Б,, Вороненко А. А., Ложкин С. А., Романов Д. С., Сапоженко А. А,, Селезнева С. Н. Задачи по курсу «Основы кибернетики». М., МГУ, 2002.
11. Нигматуллин Р. Г. Сложность булевых функций. М., Наука, 1991.