https://mk.cs.msu.ru/api.php?action=feedcontributions&user=DanilovB&feedformat=atomКафедра математической кибернетики - Вклад участника [ru]2024-03-28T14:56:57ZВклад участникаMediaWiki 1.22.5//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20240328.pdfФайл:Specsem20240328.pdf2024-03-27T14:35:43Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2024-03-27T14:35:29Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 22 февраля<br />
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup><br />
| align="center" | Шухман Алексей<br />
|-<br />
| align="center" | 29 февраля<br />
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup><br />
| align="center" | Федоренко Илья<br />
|-<br />
| align="center" | 7, 14 марта<br />
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 21 марта<br />
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 28 марта<br />
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup><br />
| align="center" | Фаизов Алексей<br />
|-<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20240307.pdfФайл:Specsem20240307.pdf2024-03-06T10:20:12Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2024-03-06T10:19:41Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 22 февраля<br />
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup><br />
| align="center" | Шухман Алексей<br />
|-<br />
| align="center" | 29 февраля<br />
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup><br />
| align="center" | Федоренко Илья<br />
|-<br />
| align="center" | 7 марта<br />
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2024-03-06T10:19:18Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 22 февраля<br />
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup><br />
| align="center" | Шухман Алексей<br />
|-<br />
| align="center" | 29 февраля<br />
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup><br />
| align="center" | Федоренко Илья<br />
|-<br />
| align="center" | 7 марта<br />
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup><br />
| align="center" | Федоренко Илья<br />
|-<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%AD%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82%D1%8B_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D0%B4%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D1%8B%D1%85_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BCЭлементы теории дискретных управляющих систем2024-02-07T23:00:39Z<p>DanilovB: /* Материалы */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Курс является обязательным для всех бакалавров (интегрированных магистров) кафедры математической кибернетики.<br />
<br />
Он читается в 6 семестре в объёме 36 часов лекций и 18 часов семинарских занятий, причём все занятия в 2021-2022 уч. году проходят в дистанционном формате. Курс завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи, изложенные на лекциях и семинарах.<br />
<br />
В приведённых ниже информационных материалах содержатся подробные сведения о программе курса и планах его изучения, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.<br />
<br />
В соответствии с этими планами в течение семестра проводятся 2 основные (не более 2 часов) и, возможно, несколько промежуточных (до 1 часа) тестов (контрольных). По результатам указанных тестов (контрольных) с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы им выставляются предварительные оценки, играющие существенную роль при формировании окончательной оценки на экзамене.<br />
<br />
Курс «Элементы теории дискретных управляющих систем» читается вслед за курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.<br />
<br />
В программу курса входят результаты об асимптотике функции Шеннона для сложности (задержки) формул, схем из функциональных и функционально-проводящих элементов в произвольном базисе. Устанавливается возможность синтеза схем из функциональных элементов (СФЭ) асимптотически оптимальных как по сложности, так и по задержке.<br />
<br />
На основе вероятностной модели СФЭ над базисом из надёжных и ненадёжных элементов рассматриваются некоторые вопросы их надёжности. Изучается, в частности, возможность построения как сколь угодно надёжных, так и самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность, а также возможность синтеза оптимальных по сложности самокорректирующихся контактных схем для линейных функций.<br />
<br />
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов. <br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2022-2023 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru), профессор д.ф.-м.н. [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).<br />
<br />
<br />
== Материалы ==<br />
* [[Media:Курс_ЭТДУС-24-1_318.pdf|Информационные материалы 2023-2024 учебного года (гр. 318)]] (08.02.2024)<br />
* Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются [https://m.cs.msu.ru/s/mnF2q5N3t4qrGHA здесь]<br />
* [[Media:etdus-lectures-2021-1.pdf| Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем [Лекционные слайды]]] (12.05.2021 v2).<br />
* [[Media:ЭТСНДУС_2020.pdf| Ложкин С.А. Элементы теории синтеза и надёжности дискретных управляющих систем [Методические материалы]]] (16.06.2020 v2).<br />
* [[Media:etdus-lectures-2021-1-extra.pdf| Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем (лекции 1-2) [Лекционные слайды]]] (23.06.2021).<br />
<br />
{{Шаблон:Элементы теории дискретных управляющих систем - Объявления}}<br />
<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9A%D1%83%D1%80%D1%81_%D0%AD%D0%A2%D0%94%D0%A3%D0%A1-24-1_318.pdfФайл:Курс ЭТДУС-24-1 318.pdf2024-02-07T23:00:26Z<p>DanilovB: DanilovB загружена новая версия «Файл:Курс ЭТДУС-24-1 318.pdf»</p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9A%D1%83%D1%80%D1%81_%D0%AD%D0%A2%D0%A1%D0%9D%D0%9A%D0%94%D0%A3%D0%A1-24-1.pdfФайл:Курс ЭТСНКДУС-24-1.pdf2024-02-07T09:43:19Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%AD%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82%D1%8B_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D1%81%D0%B8%D0%BD%D1%82%D0%B5%D0%B7%D0%B0,_%D0%BD%D0%B0%D0%B4%D0%B5%D0%B6%D0%BD%D0%BE%D1%81%D1%82%D0%B8_%D0%B8_%D0%BA%D0%BE%D0%BD%D1%82%D1%80%D0%BE%D0%BB%D1%8F_%D0%B4%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D1%8B%D1%85_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BCЭлементы теории синтеза, надежности и контроля дискретных управляющих систем2024-02-07T09:43:08Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
Курс по магистерской программе Дискретные управляющие системы и их приложения (гр. 518/2).<br />
<br />
Курс является обязательным для всех (интегрированных) магистров кафедры математической кибернетики, обучающихся по программе «Дискретные управляющие системы и их приложения».<br />
<br />
Он читается во 2 семестре в объёме 36 часов лекций, сопроводаемых 16 часами семинарских занятий, и завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи.<br />
<br />
В приведённых далее информационных материалах содержатся подробные сведения о программе курса и планах его изучения в 2022--2023 уч. году, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.<br />
<br />
В соответствии с этими планами в течение семестра проводится несколько контрольных мероприятий. По результатам этих мероприятий с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.<br />
<br />
Курс «Элементы теории синтеза, надежности и контроля дискретных управляющих систем» является дополнением курса «Основы кибернетики» и «Элементы теории дискретных управляющих систем». Он посвящён более глубокому изучению ряда моделей, методов и результатов теории синтеза дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.<br />
<br />
В нём рассматриваются, в частности, методы синтеза, с помощью которых устанавливаются т.н. асимптотические оценки высокой степени точности (АОВСТ) функции Шеннона для сложности схем из некоторых классов. <br />
<br />
В рамках модели схем из функциональных элементов (СФЭ) излагаются некоторые вопросы контроля УС, связанные, в частности, с построением тестов при неисправностях на входах схем, а также при неисправностях на выходах элементов. На базе вероятностной модели СФЭ рассматриваются некоторые вопросы надёжности СФЭ. Изучается, в частности, возможность построения надёжных СФЭ из ненадежных элементов, имеющих для почти всех функций оптимальную по порядку сложность.<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2020-2021 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru) и профессор [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).<br />
<br />
== Материалы по курсу ==<br />
* [[Media:Курс_ЭТСНКДУС-24-1.pdf| Информационные материалы 2023-2024 учебного года]] (07.02.2024).<br />
* Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются [https://m.cs.msu.ru/s/p6KJDNtcsQosGTa здесь] (весна 2021)<br />
* [[Media:msu-etsnkdus-21-1-lectures.pdf| Ложкин С.А. Некоторые вопросы синтеза и геометрической реализации дискретных управляющих систем. Разделы I–II. [Лекционные слайды] ]] (12.06.2021).<br />
<br />
<br />
{{Шаблон:Элементы теории синтеза, надежности и контроля дискретных управляющих систем - Объявления}}<br />
</div><br />
<br />
[[Категория:Лекционные курсы кафедры МК]]<br />
[[Категория:Магистерская программа Дискретные управляющие системы и их приложения]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9A%D1%83%D1%80%D1%81_%D0%AD%D0%A2%D0%94%D0%A3%D0%A1-24-1_318.pdfФайл:Курс ЭТДУС-24-1 318.pdf2024-02-07T09:42:32Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%AD%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82%D1%8B_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D0%B4%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D1%8B%D1%85_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BCЭлементы теории дискретных управляющих систем2024-02-07T09:42:11Z<p>DanilovB: /* Материалы */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Курс является обязательным для всех бакалавров (интегрированных магистров) кафедры математической кибернетики.<br />
<br />
Он читается в 6 семестре в объёме 36 часов лекций и 18 часов семинарских занятий, причём все занятия в 2021-2022 уч. году проходят в дистанционном формате. Курс завершается экзаменом, на который выносятся как теоретические вопросы, так и задачи, изложенные на лекциях и семинарах.<br />
<br />
В приведённых ниже информационных материалах содержатся подробные сведения о программе курса и планах его изучения, о методических материалах, а также об особенностях организации учебного процесса, формах проведения контрольных мероприятий и экзамена.<br />
<br />
В соответствии с этими планами в течение семестра проводятся 2 основные (не более 2 часов) и, возможно, несколько промежуточных (до 1 часа) тестов (контрольных). По результатам указанных тестов (контрольных) с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы им выставляются предварительные оценки, играющие существенную роль при формировании окончательной оценки на экзамене.<br />
<br />
Курс «Элементы теории дискретных управляющих систем» читается вслед за курсом «Основы кибернетики» и является дополнением последнего курса. Он посвящён более глубокому изучению ряда моделей, методов и результатов теории дискретных управляющих систем (УС), связанных с задачей схемной или структурной реализации дискретных функций и алгоритмов, а также некоторых вопросов надёжности и контроля УС.<br />
<br />
В программу курса входят результаты об асимптотике функции Шеннона для сложности (задержки) формул, схем из функциональных и функционально-проводящих элементов в произвольном базисе. Устанавливается возможность синтеза схем из функциональных элементов (СФЭ) асимптотически оптимальных как по сложности, так и по задержке.<br />
<br />
На основе вероятностной модели СФЭ над базисом из надёжных и ненадёжных элементов рассматриваются некоторые вопросы их надёжности. Изучается, в частности, возможность построения как сколь угодно надёжных, так и самокорректирующихся СФЭ, имеющих асимптотически оптимальную сложность, а также возможность синтеза оптимальных по сложности самокорректирующихся контактных схем для линейных функций.<br />
<br />
В рамках модели контактных схем излагаются некоторые вопросы контроля УС, связанные, в частности, с построением полного диагностического и полного проверяющего тестов. <br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лекторы 2022-2023 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.ru), профессор д.ф.-м.н. [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).<br />
<br />
<br />
== Материалы ==<br />
* [[Media:Курс_ЭТДУС-24-1_318.pdf|Информационные материалы 2023-2024 учебного года (гр. 318)]] (07.02.2024)<br />
* Видеозаписи лекций, прочитанных С.А.Ложкиным, публикуются [https://m.cs.msu.ru/s/mnF2q5N3t4qrGHA здесь]<br />
* [[Media:etdus-lectures-2021-1.pdf| Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем [Лекционные слайды]]] (12.05.2021 v2).<br />
* [[Media:ЭТСНДУС_2020.pdf| Ложкин С.А. Элементы теории синтеза и надёжности дискретных управляющих систем [Методические материалы]]] (16.06.2020 v2).<br />
* [[Media:etdus-lectures-2021-1-extra.pdf| Ложкин С.А., Романов Д.С. Элементы теории дискретных управляющих систем (лекции 1-2) [Лекционные слайды]]] (23.06.2021).<br />
<br />
{{Шаблон:Элементы теории дискретных управляющих систем - Объявления}}<br />
<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-17T17:18:23Z<p>DanilovB: /* График проведения экзамена */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
<br />
= График проведения экзамена =<br />
<br />
Экзамен по курсу «Основы кибернетики» состоится 18 января 2024 г., начало экзамена в 9.15.<br />
<br />
Группы приглашаются на экзамен по следующему графику.<br />
<br />
* Группы 312, 316 приходят в ауд. П6 к 9.15.<br />
* Группы 311, 317, 318 приходят в ауд. П8а к 9.15.<br />
* Группы 313, 319/1, 319/2 приходят в ауд. П6 к 11.30.<br />
* Группы 314, 315 приходят в ауд. П8а к 11.30.<br />
<br />
Студенты каждой академической группы, включая присоединенных к ней студентов филиалов, приходят на экзамен в указанную аудиторию и указанное время независимо от формы сдачи экзамена.<br />
<br />
= Дополнительные материалы по курсу =<br />
<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023), [[Media:ОК_Слайды_лекций_Ч3_2023-2.pdf|Часть 3]] (15.01.2024), [[Media:ОК_Слайды_лекций_Ч4_2023-2.pdf|Часть 4]] (15.01.2024)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 14 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|графиком проведения консультаций и переписывания контрольных]] 16.01.2024 по данному курсу.<br />
<br />
== 13 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-17T17:11:02Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
<br />
= График проведения экзамена =<br />
<br />
Экзамен по курсу «Основы кибернетики» состоится 18 января 2024 г., начало экзамена в 9.15.<br />
<br />
Группы приглашаются на экзамен по следующему графику.<br />
Группы 312, 316 приходят в ауд. П6 к 9.15.<br />
Группы 311, 317, 318 приходят в ауд. П8а к 9.15.<br />
Группы 313, 319/1, 319/2 приходят в ауд. П6 к 11.30.<br />
группы 314, 315 приходят в ауд. П8а к 11.30.<br />
<br />
Студенты каждой академической группы, включая присоединенных к ней студентов филиалов, приходят на экзамен в указанную аудиторию и указанное время независимо от формы сдачи экзамена.<br />
<br />
= Дополнительные материалы по курсу =<br />
<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023), [[Media:ОК_Слайды_лекций_Ч3_2023-2.pdf|Часть 3]] (15.01.2024), [[Media:ОК_Слайды_лекций_Ч4_2023-2.pdf|Часть 4]] (15.01.2024)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 14 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|графиком проведения консультаций и переписывания контрольных]] 16.01.2024 по данному курсу.<br />
<br />
== 13 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9E%D0%9A_%D0%A1%D0%BB%D0%B0%D0%B9%D0%B4%D1%8B_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D0%B9_%D0%A74_2023-2.pdfФайл:ОК Слайды лекций Ч4 2023-2.pdf2024-01-15T09:34:34Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9E%D0%9A_%D0%A1%D0%BB%D0%B0%D0%B9%D0%B4%D1%8B_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D0%B9_%D0%A73_2023-2.pdfФайл:ОК Слайды лекций Ч3 2023-2.pdf2024-01-15T09:34:24Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-15T09:33:48Z<p>DanilovB: /* Дополнительные материалы по курсу */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023), [[Media:ОК_Слайды_лекций_Ч3_2023-2.pdf|Часть 3]] (15.01.2024), [[Media:ОК_Слайды_лекций_Ч4_2023-2.pdf|Часть 4]] (15.01.2024)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 14 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|графиком проведения консультаций и переписывания контрольных]] 16.01.2024 по данному курсу.<br />
<br />
== 13 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-14T20:32:58Z<p>DanilovB: /* Объявления */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 14 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|графиком проведения консультаций и переписывания контрольных]] 16.01.2024 по данному курсу.<br />
<br />
== 13 января 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-14T20:32:25Z<p>DanilovB: /* 14 декабря 2024 */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 14 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|графиком проведения консультаций и переписывания контрольных]] 16.01.2024 по данному курсу.<br />
<br />
== 13 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-14T20:31:40Z<p>DanilovB: /* Объявления */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 14 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|графиком проведения консультаций и переписывания контрольных]] 17.01.2024 по данному курсу.<br />
<br />
== 13 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9A%D1%83%D1%80%D1%81_%D0%9E%D0%9A-23-2_311-319_%D0%93%D1%80%D0%B0%D1%84%D0%B8%D0%BA_%D0%BF%D1%80%D0%BE%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%B8%D1%8F_%D0%BA%D0%BE%D0%BD%D1%81%D1%83%D0%BB%D1%8C%D1%82%D0%B0%D1%86%D0%B8%D0%B9.pdfФайл:Курс ОК-23-2 311-319 График проведения консультаций.pdf2024-01-14T20:30:29Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-14T20:30:10Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 График проведения консультаций.pdf|График проведения консультаций и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (14.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 13 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-13T19:31:36Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания контрольных 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 13 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-13T19:31:24Z<p>DanilovB: /* 13 декабря 2024 */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 13 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания контрольных]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2024-01-13T19:30:51Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
[[Media:Курс_ОК-23-2_311-319 Правила.pdf|Правила проведения экзамена и переписывания 2023-2024 уч.г. (гр. 311-319/2)]] (13.01.2024)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 13 декабря 2024 ==<br />
<br />
Уважаемые студенты, ознакомьтесь с [[Media:Курс_ОК-23-2_311-319 Правила.pdf|правилами проведения экзамена и переписывания]] по данному курсу.<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9A%D1%83%D1%80%D1%81_%D0%9E%D0%9A-23-2_311-319_%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%B0.pdfФайл:Курс ОК-23-2 311-319 Правила.pdf2024-01-13T19:30:32Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2023-12-16T05:57:07Z<p>DanilovB: /* Объявления */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 16 декабря 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с планом 18 декабря в ауд. П-14 вместо лекции по "Основам кибернетики" пройдёт письменная контрольная работа №3 по 3-4 разделам программы данного курса. На контрольную выносится материал вопросов 4-23 данной программы и материал семинарских занятий 5-8.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 основных задачи и 1 дополнительная задача. При этом первая задача будет посвящена синтезу КС по методу каскадов и построению на её основе эквивалентной самокорректирующейся КС, вторая -- построению тупиковых тестов для КС, а третья (дополнительная) -- синтезу схем для функций из специальных классов.<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20231213.pdfФайл:Specsem20231213.pdf2023-12-10T15:25:01Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-12-10T15:24:48Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|-<br />
| align="center" | 22 ноября<br />
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup><br />
| align="center" | Столетний Александр<br />
|-<br />
| align="center" | 29 ноября<br />
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 6 декабря<br />
| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»<sup>[[Media:Specsem20231206.pdf|Аннотация доклада]]</sup><br />
| align="center" | Фаизов Алексей<br />
|-<br />
| align="center" | 13 декабря<br />
| Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»<sup>[[Media:Specsem20231213.pdf|Аннотация доклада]]</sup><br />
| align="center" | Фурс Даниил<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20231206.pdfФайл:Specsem20231206.pdf2023-12-05T20:25:42Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-12-05T20:24:44Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|-<br />
| align="center" | 22 ноября<br />
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup><br />
| align="center" | Столетний Александр<br />
|-<br />
| align="center" | 29 ноября<br />
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 6 декабря<br />
| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»<sup>[[Media:Specsem20231206.pdf|Аннотация доклада]]</sup><br />
| align="center" | Фаизов Алексей<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-12-05T20:24:00Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|-<br />
| align="center" | 22 ноября<br />
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup><br />
| align="center" | Столетний Александр<br />
|-<br />
| align="center" | 29 ноября<br />
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 6 декабря<br />
| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Фаизов Алексей<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-11-28T19:15:13Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|-<br />
| align="center" | 22 ноября<br />
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup><br />
| align="center" | Столетний Александр<br />
|-<br />
| align="center" | 29 ноября<br />
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-11-28T19:15:04Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|-<br />
| align="center" | 22 ноября<br />
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup><br />
| align="center" | Столетний Александр<br />
|-<br />
| align="center" | 29 ноября<br />
| Доклад по статье М. И. Гринчук «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20231129.pdfФайл:Specsem20231129.pdf2023-11-28T19:14:48Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-11-28T19:14:30Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|-<br />
| align="center" | 22 ноября<br />
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup><br />
| align="center" | Столетний Александр<br />
|-<br />
| align="center" | 29 ноября<br />
| Доклад по статье 1. М. И. Гринчук «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2023-11-19T14:47:30Z<p>DanilovB: /* 12 октября 2023 */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
В предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2023-11-19T14:47:10Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 19 ноября 2023 ==<br />
<br />
Уважаемые студенты!<br />
<br />
1) В соответствии с уточненным планом 22 ноября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 2 разделу программы данного курса. На контрольную выносится материал вопросов 7--13 этой программы и материал семинарских занятий 3--4.<br />
<br />
2) В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи на оптимизацию подобных формул по глубине, моделирование формул и пи-схем, эквивалентные преобразования формул и контактных схем.<br />
<br />
3) Консультация к данной контрольной состоится 20 ноября вместо лекции по "Основам кибернетики". На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 3 раздела курса.<br />
<br />
== 12 октября 2023 ==<br />
<br />
в предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2023-11-12T20:23:55Z<p>DanilovB: /* Объявления */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 12 октября 2023 ==<br />
<br />
в предварительный график прохождения лекционного материала по курсу "Основы кибернетики", проведения консультаций и контрольных мероприятий в ноября--декабре 2023 г. внесены следующие уточнения:<br />
<br />
1) вопрос 13 -- 13.XI, вопросы 17 и 18 -- 15.XI, вопрос 22 -- 27.XI, вопрос 19 -- 29.XI, вопросы 20 и 23 -- 4.XII, вопрос 21 -- 6.XII, вопросы 24-26 -- 11.XII;<br />
<br />
2) 20 и 22 ноября пройдёт консультация к контрольной №2 и сама эта контрольная соответственно, а 13 и 18 декабря -- консультация к контрольной №3 и сама эта контрольная соответственно.<br />
<br />
График проведения семинарских занятий остаётся прежним.<br />
<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20231108.pdfФайл:Specsem20231108.pdf2023-11-06T19:14:49Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-11-06T19:14:36Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|-<br />
| align="center" | 8 ноября<br />
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup><br />
| align="center" | Дарья Есипова<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20231101.pdfФайл:Specsem20231101.pdf2023-10-31T19:52:11Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-10-31T19:51:50Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-10-31T19:51:13Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|-<br />
| align="center" | 1 ноября<br />
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9E%D0%9A_%D0%A1%D0%BB%D0%B0%D0%B9%D0%B4%D1%8B_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D0%B9_%D0%A72_2023-2.pdfФайл:ОК Слайды лекций Ч2 2023-2.pdf2023-10-29T18:33:47Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2023-10-29T18:33:32Z<p>DanilovB: /* Дополнительные материалы по курсу */</p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч2_2023-2.pdf|Часть 2]] (29.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specsem20231024.pdfФайл:Specsem20231024.pdf2023-10-24T17:12:31Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-10-24T17:12:19Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
|-<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-10-24T17:12:06Z<p>DanilovB: </p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|-<br />
| align="center" | 18 октября<br />
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup><br />
| align="center" | Кленин Максим<br />
| align="center" | 25 октября<br />
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup><br />
| align="center" | Михалев Евгений<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%A4%D0%B0%D0%B9%D0%BB:Specem_231011.pdfФайл:Specem 231011.pdf2023-10-09T21:19:06Z<p>DanilovB: </p>
<hr />
<div></div>DanilovB//mk.cs.msu.ru/index.php/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D1%8F%D1%8E%D1%89%D0%B8%D1%85_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC_%D0%B8_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8_%D0%A1%D0%91%D0%98%D0%A1Теория управляющих систем и математические модели СБИС2023-10-09T21:18:27Z<p>DanilovB: /* Расписание докладов */</p>
<hr />
<div>''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.''<br />
<br />
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]<br />
<br />
== Расписание докладов ==<br />
<br />
{| align="center" width="90%"<br />
|<br />
<br />
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"<br />
! Дата<br />
! Тема доклада<br />
! Докладчик<br />
|-<br />
| align="center" | 4 октября<br />
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup><br />
| align="center" | Соколов Михаил<br />
|-<br />
| align="center" | 11 октября<br />
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup><br />
| align="center" | Гребенкин Сергей<br />
|}<br />
<br />
<br />
{| width="98%"<br />
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]<br />
|}<br />
<br />
|}<br />
<br />
[[Категория:Спецсеминары кафедры математической кибернетики]]</div>DanilovB//mk.cs.msu.ru/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D1%8B_%D0%BA%D0%B8%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8_(2-%D0%B9_%D0%BF%D0%BE%D1%82%D0%BE%D0%BA,_3_%D0%BA%D1%83%D1%80%D1%81)Основы кибернетики (2-й поток, 3 курс)2023-10-08T19:43:29Z<p>DanilovB: </p>
<hr />
<div>__NOTOC__<br />
<div style="max-width:940px"><br />
<br />
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Математические методы обработки информации и принятия решений».<br />
<br />
Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2023-2024 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).<br />
<br />
Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН С.В. Яблонский, читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов.<br />
<br />
В нём рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.<br />
Продолжением курсов «Дискретная математика» и «Основы кибернетики» является читаемый для бакалавров данного профиля в 7 семестре курс «Дополнительные главы дискретной математики и кибернетики».<br />
<br />
[[Media:Курс_ОК-23-2_311-319.pdf|Информационные материалы 2023-2024 уч.г. (гр. 311-319/2)]] (04.09.2023)<br />
<br />
Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]<br />
<br />
Присоединиться к курсу в [https://classroom.google.com/c/NjIzOTI4OTMzOTI1?cjc=opfsh3o Google Classroom] (код курса opfsh3o)<br />
<br />
= Дополнительные материалы по курсу =<br />
* [[Media:problems-22-2_1.pdf|Задачи для самостоятельного решения]] (03.10.2022)<br />
* Ложкин С.А. Лекции по основам кибернетики (гр. 311-319) [Методические материалы] : [[Media:ОК_Часть_1_2017_(311-319).pdf|Часть 1]] (29.10.2017), [[Media:ОК_Часть_2_2017_(311-319).pdf|Часть 2]] (29.10.2017), [[Media:ОК_Часть_3_2017_(311-319).pdf|Часть 3]] (19.11.2017), [[Media:ОК_Часть_4_2017_(311-319).pdf|Часть 4]] (22.01.2018)<br />
* Ложкин С.А. Основы кибернетики [Лекционные слайды] : [[Media:ОК_Слайды_лекций_В_2023-2.pdf|Введение]] (08.10.2023), [[Media:ОК_Слайды_лекций_Ч1_2023-2.pdf|Часть 1]] (08.10.2023)<br />
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]<br />
* [[Media:ALM_Exact_Synthesis_Problem_Statement.pdf|ALM Exact Synthesis Problem Statement]] (30.10.2019)<br />
* [[Media:Optimal_Circuits_Database_2019-2.pdf|База данных оптимальных или близких к оптимальным контактных схем и Add-Inverter Graph'ов]] (30.10.2019)<br />
<br />
= Объявления =<br />
<br />
== 8 октября 2023 ==<br />
<br />
В соответствии с планом 11 октября вместо лекции по "Основам кибернетики" пройдёт (письменная) контрольная работа по 1 разделу данного курса. На контрольную выносится материал вопросов 1-6 программы курса и материал семинарских занятий 1-2.<br />
<br />
В каждом варианте контрольной будут содержаться 4 теоретических вопроса на определения, формулировки утверждений и идеи их доказательства, а также 2 задачи, связанные с реализацией функций с помощью ДНФ и построением всех тупиковых ДНЫ.<br />
<br />
Консультация к данной контрольной состоится 10 октября и будет проведена с 12.50 до 14.25 в ауд. П-5 (вместо лекции О.В.Шестакова). На ней предполагается также дать ответы на вопросы по текущему лекционному материалу 2 раздела курса.<br />
<br />
<br />
{{Шаблон:Основы кибернетики (2-й поток, 3 курс) - Объявления}}<br />
[[Категория:Лекционные курсы кафедры МК]]</div>DanilovB