Основы кибернетики (318, 418 группы)
Обязательный курс для студентов 318 и 418 группы. Читается в 6 семестре для 318 группы и в 7 семестре для 418 группы.
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор Ложкин Сергей Андреевич (lozhkin@cs.msu.su), преподаватель семинарских занятий – к.ф.-м.н. Нагорный Александр Степанович.
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации ДНФ, задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет.
Материалы по курсу
- Таблицы успеваемости и посещений (1 сем.) (11.06.2014).
- Таблицы успеваемости (2 сем., гр. 418) (17.01.2015), посещений (2 сем., гр. 418) (17.01.2015).
- Информация к экзамену (2 сем., гр. 418) (17.01.2015).
- Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: гр. 318 (24.04.2014).
- Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): Часть 1 (25.02.2013), Часть 2 (25.06.2013), Часть 3 (14.05.2013), Часть 4 (04.05.2013).
- Методичка Ложкин С.А. «Основы кибернетики» (вариант 2014 года): Часть 1 (06.04.2014), Часть 2 (06.04.2014), Часть 3 (06.04.2014), Часть 4 (19.04.2014), Часть 5 (06.04.2014).
- Слайды прочитанных лекций (вариант 2014 года): Слайды (24.04.2014).
- Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС.
- Дополнительные задачи к разделу «Минимизация ДНФ и связанные с ней задачи»: ссылка на скачивание.
- Дополнительные задачи к разделу «Синтез и сложность управляющих систем»: ссылка на скачивание. Данные для задачи: ссылка на скачивание.
17 января 2015 г. | Вниманию студентов 418 группы!
1. Вывешена таблица с результатами контрольных по курсу "Основы кибернетики" и предварительными оценками, список вопросов и типовых задач к экзамену, а также правила его проведения. 2. Консультация к экзамену состоится 21 января в 17:30 в ауд. 505. |
11 июня | Дальнейшие объявления по курсу ЭТДУС см. на странице Элементы теории дискретных управляющих систем. |
06 июня | Консультация к экзамену по курсу "Элементы теории дискретных управляющих систем" пройдёт 13 июня в 15:30 в ауд. 505. |
24 апреля | Вывешен близкий к окончательному и отредактированный в соответствии с изложением материала курса на лекциях список вопросов к зачету, а также набор слайдов к лекциям.
Как и предполагалось, 28 апреля (14:35-16:20, ауд. П-13) пройдёт тест-контрольная №2, теоретическая часть которой соответствует вопросам 12-20, 29 программы курса, а "задачная" часть связана с темами семинарских занятий №4 (только сложность ФАЛ и синтез схем на основе ДНФ), №5 и №6. Консультация к этой контрольной состоится 25.04 в 9:00 в ауд. П-13. |
11 апреля | На лекции 14 марта будет проведен промежуточный тест продолжительностью 1 час. Теоретическая часть этого теста соответствует материалам вопросов 8-11, причем вопрос 11, в соответствии с тем, как он был изложен на лекциях, формулируется следующим образом: "Операция суперпозиции и ее корректность для некоторых типов схем. Разделительные КС и лемма Шеннона". В тест войдет задача на оптимизацию подобных формул по глубине, а также задача на моделирование формул и π-схем. |
15 марта | Уточнённый график проведения занятий и контрольных работ на период с 17.03 по 04.04 для 318 группы:
17.03 - лекция по вопросам 12, 13 (с 14:35 до 16:10, ауд. П-13); 21.03 - консультация к контрольной №1 (9:00, ауд. П-13), семинар №4 (с 12:50 до 14:25, ауд. 682), лекция по вопросу 13 (с 14:35 до 16:10 в ауд. П-13); 24.03 - тест-контрольная №1 (теория - вопросы 4-7 и 28, задача на построение всех тупиковых ДНФ из семинара №3) с 10:30 до 12:05 в ауд. 503; 28.03 - семинар №5 (с 12:50 до 14:25, ауд. 682), лекция по вопросу 14 (с 14:35 до 16:10 в ауд. П-13); 31.03 - лекция по вопросам 15, 16; 01.04 и 02.04 - семинар 5 по дополнительному и основному расписанию для групп 2 и 1 недели соответственно; 04.04 - 2 лекции (с 12:50 до 16:10 в ауд. П-13) по вопросам 17, 18. |
2 марта | Вниманию студентов 318, 320-328 групп.
1. Первая промежуточная контрольная по курсу "Основы кибернетики" состоится 7 марта в ауд. П-13 с 12:50 до 13:40. Для участия в ней студенты должны иметь при себе студенческий билет или зачетную книжку. На эту контрольную выносятся вопросы 1-3 из программы курса и задача на построение сокращенной ДНФ. После окончания контрольной и небольшого перерыва будет продолжено изложение лекционного материала по вопросам 8 и 10. 2. Для студентов 320-328 групп (включая Севастопольский филиал) 4 марта в 12:50 в ауд. П-13 будет прочитана лекция по вопросу 28 (материал этого вопроса можно найти в лекциях 2013 г. в §1 главы 4). 3. В группах 2 недели (321 и 327) с 11 по 13 марта должно состояться семинарское занятие №3, проводимое по дополнительному расписанию (см. раздел 6 информационных материалов курса). 4. Вывешены для самостоятельного решения "трудные" задачи по 1 разделу программы (см. раздел 8 информационных материалов курса) |