Основы кибернетики (3-й поток) — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Материалы по курсу)
(Материалы по курсу)
 
(не показаны 218 промежуточные версии 4 участников)
Строка 3: Строка 3:
 
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».
 
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».
  
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).
+
Курс является обязательным для всех бакалавров (интегрированных магистров) направления 01400 – «Прикладная математика и информатика». При этом объём и, в некоторой степени, программа курса варьируются в зависимости от профиля. Для бакалавров 3 курса профиля «Системное программирование и компьютерные науки» (320-328 группы) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 часами семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, изложенные на лекциях, так и задачи, рассмотренные на семинарских занятиях.
  
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.
+
На данной странице будет публиковаться подробная информация о содержании курса, программах и планах его изучения в 2018-2019 уч. году, методических материалах, а также об особенностях организации учебного процесса, формах и сроках проведения контрольных мероприятий.
 +
В соответствии с этими планами в течение семестра проводятся 3 основные (по 2 часа) контрольные работы и, возможно, несколько промежуточных (до 1 часа) тестов. По результатам контрольных и тестов с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы (см. раздел 8) выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.
  
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации ДНФ, задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.
+
Чтение курса обеспечивается кафедрой математической кибернетики, лектор c 2018-2019 уч. года — профессор [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).
  
== Материалы по курсу ==
+
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН [[Яблонский Сергей Всеволодович]], читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов. Методическую, и, частично, содержательную концепции данного варианта курса разработал профессор [[Ложкин Сергей Андреевич]], читавший данный курс для студентов программистских кафедр около 30 лет.
* Таблицы успеваемости: [[Media:grade-report-13-04.pdf | ссылка на скачивание]] (13.04.2014)
+
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_320-328_2014-03-16.pdf|гр. 320-328]] (16.03.2014)
+
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
+
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2014 года): [[Media:ОК_Часть_1_2014.pdf|Часть 1]] (06.04.2014), [[Media:ОК_Часть_2_2014.pdf|Часть 2]] (06.04.2014), [[Media:ОК_Часть_3_2014.pdf|Часть 3]] (06.04.2014), [[Media:ОК_Часть_4_2014.pdf|Часть 4]] (11.04.2014), [[Media:ОК_Часть_5_2014.pdf|Часть 5]] (06.04.2014)
+
* [[Media:Lozhkin-Marchenko-VSLI-models.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]
+
* Дополнительные задачи к разделу «Минимизация ДНФ и связанные с ней задачи»: [[Media:OK_problems1.pdf | ссылка на скачивание]]
+
* Дополнительные задачи к разделу «Синтез и сложность управляющих систем»: [[Media:OK_problems3.pdf | ссылка на скачивание]]. Данные для задачи: [[Media:L5.1.txt | ссылка на скачивание]]
+
  
<br>
+
В курсе «Основы кибернетики» рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет, полученные Ложкиным С.А. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.
<center>[[Файл:Cybernetics.jpg]]</center>
+
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
+
|+
+
  
==Объявления==
+
== Материалы по курсу ==
{{announce News|11 апреля| На лекции 14 марта будет проведен промежуточный тест продолжительностью 1 час. Теоретическая часть этого теста соответствует материалам вопросов 8-11, причем вопрос 11, в соответствии с тем, как он был изложен на лекциях, формулируется следующим образом: "Операция суперпозиции и ее корректность для некоторых типов схем. Разделительные КС и лемма Шеннона". В тест войдет задача на оптимизацию подобных формул по глубине, а также задача на моделирование формул и π-схем.
+
* [[Media:Курс_ОК_320-328_2024_02_12.pdf| Информационные материалы (гр. 320-328)]] (12.02.2024)
}}
+
* Ложкин С.А. Лекции по основам кибернетики (гр. 320-328) [Методические материалы] : [[Media:ОК_Часть_1_2017_(320-328).pdf|Часть 1]] (09.02.2017), [[Media:ОК_Часть_2_2017_(320-328).pdf|Часть 2]] (05.03.2017), [[Media:ОК_Часть_3_2017_(320-328).pdf|Часть 3]] (08.06.2017), [[Media:ОК_Часть_4_2017_(320-328).pdf|Часть 4]] (16.04.2017)
{{announce News|15 марта| Уточнённый график проведения занятий и контрольных работ на период с 17.03 по 04.04 для 320-328 групп:
+
* Ложкин С.А., Сапоженко А.А. Полнотекстовые презентации по курсу "Основы кибернетики" (гр. 320-328, 2022 г.): [[Media:1_prez.pdf|Часть 1]], [[Media:2_prez.pdf|Часть 2]], [[Media:3_prez.pdf|Часть 3]], [[Media:4_prez.pdf|Часть 4]], [[Media:5_prez.pdf|Часть 5]].
 +
<!-- * Ложкин С.А. Основы кибернетики, весна 2017 [Лекционные слайды]] : [[Media:ОК_Слайды_лекций_Ч1-4_2017.pdf|Части 1-4]] (06.08.2017) -->
 +
* Романов Д.С., Ложкин С.А. Основы кибернетики, весна 2018 [Лекционные слайды] : [[Media:cybas3-talk_original.pdf|Введение, части 1-4]] (02.04.2018).
 +
* Шуплецов М.С. Основы проектирования цифровых интегральных схем [Лекционные слайды] : [[Media:ОК_Основы_проектирования_цифровых_интегральных_схем_2017-1.pdf|Лекция]] (06.08.2017)
 +
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]
 +
* [[Media:OK-2-2002.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : Издательский отдел факультета ВМиК МГУ, 2002. - 66 с.]]
 +
* [[Media:Sapozhenko_alg.pdf|Сапоженко А.А. Некоторые вопросы сложности алгоримов - М. : Издательский отдел факультета ВМиК МГУ, 2001.]]
 +
* [[Media:OK_seminary.zip|Материалы семинарских занятий по курсу "Основы кибернетики".]]
  
'''17.03''' - лекция по вопросам 15, 16;
+
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]
  
'''19.03 и 26.03''' - семинар №4 по основному расписанию для групп 1 и 2 недели соответственно;
+
Записи семинарских занятий: [https://disk.yandex.ru/d/1Zz3_SXmM8kHHA]
  
'''21.03''' - консультация к контрольной №1 (9:00, ауд. П-13) и 2 лекции (с 12:50 до 16:10 в ауд. П-13) по вопросам 29 и 16;
+
== График прохождения курса по первому разделу ==
  
'''24.03''' - тест-контрольная №1 (теория - вопросы 4-7 и 28, задача на построение всех тупиковых ДНФ из семинара №2 и задача на построение всех тупиковых тестов из семинара №3)
+
* Лекция 1 -- [https://m.cs.msu.ru/s/Cm7xdob7jmG7dg5 запись] вступительного слова и лекция №1 с канала Teach-In (ссылка ниже) на YouTube с 17 по 87 минуту (будем ссылаться на эти лекции так: Y1:17-87, где Y# номер лекции с YouTube, а 17-87 -- временной интервал в минутах; если временной интервал не указан, то нужно смотреть лекцию целиком).
 +
* Лекция 2 -- лекция Y2.
 +
* Лекция 3 -- лекция D1 (так нумеруются лекции записанные иным путём, [https://m.cs.msu.ru/s/YgrZHrsac35ZHX5 ссылка] на лекцию D1)
 +
* Лекция 4 -- лекция Y3.
 +
* Лекция 5 -- лекция D2 ([https://m.cs.msu.ru/s/fjFAXdWtbW7r2C4 ссылка] на лекцию D2).
 +
* Лекция 6 -- лекция Y4, Y5:0-30.
 +
* Лекция 7 -- лекция Y5:30-135.
  
'''28.03''' - 2 лекции (с 12:50 до 16:10 в ауд. П-13) по вопросам 30 и 17;
+
== График прохождения курса по второму разделу ==
  
'''31.03''' - лекция по вопросам 18, 19;
+
График прохождения курса по второму разделу.
  
'''01.04 и 02.04''' - семинар 5 по дополнительному и основному расписанию для групп 2 и 1 недели соответственно;
+
* Лекция 8 -- лекция Y6.
 +
* Лекция 9 -- лекция D3 ([https://m.cs.msu.ru/s/9y9CbAWmmRJMkL3 ссылка] на лекцию D3).
 +
* Лекция 10 -- лекция Y9.
 +
* Лекция 11 -- лекция Y18.
 +
* Лекция 12 -- лекция Y19, Y20:0-54
 +
* Лекция 13 -- лекция Y7.
 +
* Лекция 14 -- лекция Y8.
 +
* Лекция 15 -- рассмотрение теоремы перехода ([https://m.cs.msu.ru/s/wJTZpMD52pAzxw8 видеозапись] и [https://m.cs.msu.ru/s/qD7R9pa7skMtmQy доска]) из 12 вопроса.
  
'''04.04''' - 2 лекции (с 12:50 до 16:10 в ауд. П-13) по вопросам 20, 21.
+
== График прохождения курса по третьему, четвёртому и пятому разделам ==
}}
+
{{announce News|2 марта| Вниманию студентов 318, 320-328 групп.
+
  
'''1.''' Первая промежуточная контрольная по курсу "Основы кибернетики" состоится '''7 марта''' в ауд. П-13 с 12:50 до 13:40. Для участия в ней студенты должны иметь при себе студенческий билет или зачетную книжку. На эту контрольную выносятся вопросы 1-3 из программы курса и задача на построение сокращенной ДНФ. После окончания контрольной и небольшого перерыва будет продолжено изложение лекционного материала по вопросам 8 и 10.
+
* Лекция 16 -- лекция D4 ([https://m.cs.msu.ru/s/rx3c4Kc9jwNXKxC ссылка] на лекцию D4 и [https://m.cs.msu.ru/s/BjxScxRQxQgym8r презентация] к ней).
 +
* Лекция 17 -- лекция Y10.
 +
* Лекция 18 -- лекция Y11:0-72.
 +
* Лекция 19 -- лекция Y11:72-84, Y12.
 +
* Лекция 20 -- лекция Y13.
 +
* Лекция 21 -- лекция Y14:0-77.
 +
* Лекция 22 -- лекция Y14:77-87, Y15:0-77.
 +
* Лекция 23 -- лекция Y16:45-86 + консультация в Zoom (Y15:77-83, Y16:0-45 факультативно).
 +
* Лекция 24 -- лекция Y17.
 +
* Лекция 25 -- лекция Y21 (D5 факультативно, [https://m.cs.msu.ru/s/XPLmSbdTQiAMRGb? ссылка])).
  
'''2.''' Для студентов 320-328 групп (включая Севастопольский филиал) '''4 марта''' в 12:50 в ауд. П-13 будет прочитана лекция по вопросу 28 (материал этого вопроса можно найти в лекциях 2013 г. в §1 главы 4).
+
Материал лекций Y15:77-83, Y16:0-45 по 23 вопросу программы факультативен.
  
'''3.''' В группах 2 недели (321 и 327) с '''11 по 13 марта''' должно состояться семинарское занятие №3, проводимое по дополнительному расписанию (см. раздел 6 информационных материалов курса).
+
Лекция D5 «Основы проектирования интегральных схем» в 2 частях по 28 вопросу программы факультативна к просмотру.
  
'''4.''' Вывешены для самостоятельного решения "трудные" задачи по 1 разделу программы (см. раздел 8 информационных материалов курса)
+
{{Шаблон:Основы кибернетики (3-й поток) - Объявления}}
}}
+
[[Основы кибернетики (318, 418 группы)|[cтраница курса для 318 группы]]]
|}
+
 
</div>
 
</div>
  
 
[[Категория:Лекционные курсы кафедры МК]]
 
[[Категория:Лекционные курсы кафедры МК]]

Текущая версия на 00:17, 13 февраля 2024

Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Курс является обязательным для всех бакалавров (интегрированных магистров) направления 01400 – «Прикладная математика и информатика». При этом объём и, в некоторой степени, программа курса варьируются в зависимости от профиля. Для бакалавров 3 курса профиля «Системное программирование и компьютерные науки» (320-328 группы) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 часами семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, изложенные на лекциях, так и задачи, рассмотренные на семинарских занятиях.

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

Чтение курса обеспечивается кафедрой математической кибернетики, лектор c 2018-2019 уч. года — профессор Романов Дмитрий Сергеевич (romanov@cs.msu.ru).

Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН Яблонский Сергей Всеволодович, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов. Методическую, и, частично, содержательную концепции данного варианта курса разработал профессор Ложкин Сергей Андреевич, читавший данный курс для студентов программистских кафедр около 30 лет.

В курсе «Основы кибернетики» рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет, полученные Ложкиным С.А. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.

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

Канал Teach-In с записями лекций прошлых лет на YouTube: [1]

Записи семинарских занятий: [2]

График прохождения курса по первому разделу

  • Лекция 1 -- запись вступительного слова и лекция №1 с канала Teach-In (ссылка ниже) на YouTube с 17 по 87 минуту (будем ссылаться на эти лекции так: Y1:17-87, где Y# номер лекции с YouTube, а 17-87 -- временной интервал в минутах; если временной интервал не указан, то нужно смотреть лекцию целиком).
  • Лекция 2 -- лекция Y2.
  • Лекция 3 -- лекция D1 (так нумеруются лекции записанные иным путём, ссылка на лекцию D1)
  • Лекция 4 -- лекция Y3.
  • Лекция 5 -- лекция D2 (ссылка на лекцию D2).
  • Лекция 6 -- лекция Y4, Y5:0-30.
  • Лекция 7 -- лекция Y5:30-135.

График прохождения курса по второму разделу

График прохождения курса по второму разделу.

  • Лекция 8 -- лекция Y6.
  • Лекция 9 -- лекция D3 (ссылка на лекцию D3).
  • Лекция 10 -- лекция Y9.
  • Лекция 11 -- лекция Y18.
  • Лекция 12 -- лекция Y19, Y20:0-54
  • Лекция 13 -- лекция Y7.
  • Лекция 14 -- лекция Y8.
  • Лекция 15 -- рассмотрение теоремы перехода (видеозапись и доска) из 12 вопроса.

График прохождения курса по третьему, четвёртому и пятому разделам

  • Лекция 16 -- лекция D4 (ссылка на лекцию D4 и презентация к ней).
  • Лекция 17 -- лекция Y10.
  • Лекция 18 -- лекция Y11:0-72.
  • Лекция 19 -- лекция Y11:72-84, Y12.
  • Лекция 20 -- лекция Y13.
  • Лекция 21 -- лекция Y14:0-77.
  • Лекция 22 -- лекция Y14:77-87, Y15:0-77.
  • Лекция 23 -- лекция Y16:45-86 + консультация в Zoom (Y15:77-83, Y16:0-45 факультативно).
  • Лекция 24 -- лекция Y17.
  • Лекция 25 -- лекция Y21 (D5 факультативно, ссылка)).

Материал лекций Y15:77-83, Y16:0-45 по 23 вопросу программы факультативен.

Лекция D5 «Основы проектирования интегральных схем» в 2 частях по 28 вопросу программы факультативна к просмотру.


Cybernetics.jpg

Объявления

[архив объявлений]

[cтраница курса для 318 группы]

Навигация