Семинар 6 (19.IV, гр. II недели – ДР)

Каскадные КС и инверсные КС; метод каскадов для КС и СФЭ. Метод Шеннона.

Теоретический материал [1: с. 186-210].

В классе. Из [5: гл. X]: 2.13 (1, 7), 2.14 (1), 2.14 (5 – как КС, так и СФЭ) и т.п. Для заданной каскадной КС построить инверсную к ней КС. Разлагая ФАЛ от 3 или 4 БП по всем БП, кроме последней, построить для неё КС по методу Шеннона.

На дом. Из [5: гл. X]: 2.13 (2, 6), 2.14 (2), 2.14 (6 – как КС, так и СФЭ). Для заданной каскадной КС построить инверсную к ней КС. Разлагая ФАЛ от 3 или 4 БП по всем БП, кроме последней, построить для неё КС по методу Шеннона.

Семинар 7 (26.IV; гр. I недели – ДР)

Тесты для таблиц, тесты для контактных схем.

Теоретический материал: [1: с. 65-72, 51-55], [4: с.32-34, 37-38].

В классе. Из [4]: 5.1 (1, 2 – все тупиковые диагностические тесты), 5.1 (3 – все тупиковые проверяющие тесты), 6.2, 6.4, 6.11 (если хватит времени).

На дом. Из [4]: 5.1 (5 – все тупиковые диагностические тесты, 6 – все тупиковые проверяющие тесты), 6.3, 6.5, 6.14.

Семинар 8 (7.V; вне ОР и ДР – во время лекции по ОК)

Синтез схем для ФАЛ из специальных классов. Синтез самокорректирующихся КС.

Теоретический материал [1, с. 215-216, 222-224], [4: с. 49-50].

В классе. Установить асимптотику функции Шеннона для сложности класса всех ФАЛ равных 1 при x₁=1 (КС), класса всех самодвойственных ФАЛ (СФЭ), класса всех ФАЛ симметричных по первым трем БП (КС). Из [4]: 7.9 (б), 7.10 (1), 7.13 (по книге [4] 2002 года: 7.7 (б), 7.8 (1), 7.11 (1)).

На дом. Установить асимптотику функции Шеннона для сложности класса всех ФАЛ, равных 0 при x₁=x₂=0 (КС), класса, состоящего из всех тех ФАЛ, у которых любая подфункция от первых трёх БП линейна (СФЭ). Из [4]: 7.9 (в), 7.10 (2), 7.11 (а) (по книге [4] 2002 года: 7.7 (в), 7.8 (2), 7.9 (а)).

Литература

Основная:

1. Ложкин С.А. Лекции по основам кибернетики. – М.: МГУ, 2004. (Электронные версии лекций последних лет можно найти по адресу http://mk.cs.msu.ru/index.php/Основы_кибернетики_(3-й_поток) )

2. Яблонский С.В. Элементы математической кибернетики. – М.: Высшая школа, 2007.

3. Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1986.

4. Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнёва С.Н. Задачи по курсу «Основы кибернетики». – М.: МГУ, 2011.

5. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. – М.: ФИЗМАТЛИТ, 2004.

6. Сапоженко А.А. Некоторые вопросы сложности алгоритмов. – М.: Изд. отдел факультета ВМиК МГУ, 2001.

Дополнительная:

7. Алексеев В.Б., Ложкин С.А. Элементы теории графов, схем и автоматов. – М.: МГУ, 2000.

8. Дискретная математика и математические вопросы кибернетики. – М.: Наука, 1974.

9. Ложкин С.А., Марченко А.М, Шуплецов М. С. Математические модели и методы синтеза СБИС. (http://mk.cs.msu.ru/images/8/87/Lozhkin-Marchenko-VSLI-models.pdf)

10. Лупанов О.Б. Асимптотические оценки сложности управляющих систем. – М.: МГУ, 1984.

11. Нигматулин Р.Г. Сложность булевых функций. – М.: Наука, 1991.

8. Особенности организации и контроля аудиторной и
самостоятельной работы студентов.

Данный вариант курса «Основы кибернетики» является достаточно сложным и объёмным математическим курсом, усвоение которого требует от студентов полноценной и регулярной как аудиторной, так и самостоятельной работы, что невозможно без чёткой организации занятий, строгой дисциплины и систематического контроля. При этом необходимо, чтобы в рамках самостоятельной работы^{^[1]} студенты систематически прорабатывали пройденный материал, и желательно, чтобы они знакомились с материалом предстоящей лекции или семинара.

Некоторая особенность чтения данного курса связана с прохождением части лекционного материала (11.III, 22.III, 1.IV) за счёт лекций по курсу С.А. Абрамова (понедельник 10³⁰, ауд. П-13, и пятница 10³⁰, ауд. П-13).

Для контроля за освоением программы курса, как уже говорилось, в течение семестра проводятся 3 основные (по 2 часа) контрольные работы, а также несколько текущих (до 1 часа) тестов на знание и понимание определений, формулировок утверждений и т.п., а также на умение решать задачи. Планируется, кроме того, осуществлять систематический (выборочный) контроль за работой студентов как на семинарах, так и на лекциях. Все базовые контрольные мероприятия проводятся в рамках лекционного расписания по следующему графику.

Предварительный график проведения основных контрольных работ и тестов

Раздел I: контрольная №1 – 12 марта (консультация – 11.III)

Раздел II: контрольная №2 – 9 апреля (консультация – 8.IV)

Раздел III: контрольная №3 – 14 мая (консультация – 13.V)

Раздел IV: текущий тест – 17 мая

Информационные объявления, данные о посещаемости и текущей успеваемости студентов вывешиваются на сайте по адресу: http://mk.cs.msu.ru/index.php/Основы_кибернетики_(3-й_поток)

Дата добавления: 2019-03-09; просмотров: 209; Мы поможем в написании вашей работы!

Поделиться с друзьями:

⇐ Предыдущая 1 2 345 Следующая ⇒

Мы поможем в написании ваших работ!