Кафедра математической кибернетики - Вклад участника [ru]

Основы кибернетики (318, 418 группы)

2014-02-11T07:36:59Z

LozhkinSA: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Обязательный курс для студентов 318 и 418 группы. Читается в 6 семестре для 318 группы и в 7 для 418 группы.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318_2014-02-11.pdf|гр. 318]] (11.02.2014)
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
* [[Media:Lozhkin-Marchenko-VSLI-models.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+

==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Файл:Курс ОК 318 2014-02-11.pdf

2014-02-11T07:36:31Z

LozhkinSA:

Файл:Курс ОК 318.pdf

2014-02-11T07:35:18Z

LozhkinSA: LozhkinSA загружена новая версия «Файл:Курс ОК 318.pdf»: Возврат к версии от 07:29, 11 февраля 2014

Файл:Курс ОК 318.pdf

2014-02-11T07:34:46Z

LozhkinSA: LozhkinSA загружена новая версия «Файл:Курс ОК 318.pdf»: Возврат к версии от 07:37, 8 февраля 2014

Файл:Курс ОК 318.pdf

2014-02-11T07:34:22Z

LozhkinSA: LozhkinSA загружена новая версия «Файл:Курс ОК 318.pdf»

Файл:Курс ОК 318.pdf

2014-02-11T07:31:53Z

LozhkinSA: LozhkinSA загружена новая версия «Файл:Курс ОК 318.pdf»

Файл:Курс ОК 318.pdf

2014-02-11T07:31:13Z

LozhkinSA: LozhkinSA загружена новая версия «Файл:Курс ОК 318.pdf»

Файл:Курс ОК 318.pdf

2014-02-11T07:29:03Z

LozhkinSA: LozhkinSA загружена новая версия «Файл:Курс ОК 318.pdf»

Файл:Курс ОК 318.pdf

2014-02-08T07:37:54Z

LozhkinSA:

Основы кибернетики (318, 418 группы)

2014-02-08T07:02:59Z

LozhkinSA:

__NOTOC__
<div style="max-width:940px">
Обязательный курс для студентов 318 и 418 группы. Читается в 6 семестре для 318 группы и в 7 для 418 группы.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]] (08.02.2014)
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
* [[Media:Lozhkin-Marchenko-VSLI-models.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+

==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2014-02-08T06:46:39Z

LozhkinSA: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014)
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
* [[Media:Lozhkin-Marchenko-VSLI-models.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+

==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (318, 418 группы)

2014-02-08T06:46:08Z

LozhkinSA:

__NOTOC__
<div style="max-width:940px">
Обязательный курс для студентов 318 и 418 группы. Читается в 6 семестре для 318 группы и в 7 для 418 группы.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]] (08.02.2014)
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
* [[Media:Lozhkin-Marchenko-VSLI-models.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+

==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Файл:Курс ОК 320-328.pdf

2014-02-08T06:43:53Z

LozhkinSA:

Основы кибернетики (3-й поток)

2014-02-08T06:36:07Z

LozhkinSA: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014)
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
* [[Media:Lozhkin-Marchenko-VSLI-models.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+

==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Математические модели и методы синтеза СБИС

2014-02-08T06:35:41Z

LozhkinSA: /* Литература */

Обязательный годовой курс для студентов 418 группы. В 2011-2012 учебном году лекции по данному курсу читают м.н.с. [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]] (первая часть) и профессор Марченко А. М. (вторая часть), а практические занятия проводит [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]]. В предыдущие годы лекции по этому курсу читались [[Ложкин Сергей Андреевич|Ложкиным С. А.]] (первая часть), а практические занятия проводились доцентом [[Романов Дмитрий Сергеевич|Романовым Д. С.]].

Курс посвящен изложению ключевых вопросов, связанных с логическим и топологическим синтезом СБИС. В нем рассматриваются математические модели современных электронных схем, описываются основные подходы к решению задачи логического синтеза СБИС, а также задачи размещения модулей СБИС и трассировки межсоединений. В рамках практических занятий осуществляется знакомство с базовыми пакетами программ логического и топологического синтеза СБИС, формируются навыки работы с этими пакетами.

== Вопросы по курсу (I часть) ==

=== Задача синтеза СБИС и связанные с ней модели дискретных управляющих систем ===

# Полевые транзисторы, принцип их работы и устройство. Основные сведения о КМОП-технологии и проектировании СБИС.
## n- и p-канальные транзисторы, их проводимость;
## представление об интегральной КМОП-технологии;
## задача проектирования СБИС и маршрут ее решения.
# Простейшие логические схемы на КМОП-транзисторах. Функционирование и классификация комбинационных КМОП-схем, оценка их числа.
## логические схемы НЕ, 2-НЕ-ИЛИ и др.;
## структура и функционирование КМОП-схемы общего вида, правильные комбинационные КМОП-схемы;
## оценка числа правильных комбинационных КМОП-схем;
## комбинационные КМОП-схемы с проблемами переключения, схемы с нагрузочными транзисторами и др.
# Представление об RC-схемах и их задержке. Быстродействие КМОП-схем.
## распространение сигнала в КМОП-схемах на примере открытого транзистора;
## RC-схемы из дискретных элементов и их задержка, представление об RC-схемах с непрерывным распределением емкости и сопротивления;
## основные факторы, влияющие на быстродействие КМОП-схем.
# Синтез комбинационных КМОП-схем на основе структурного моделирования контактных схем (КС) и итеративных контактных схем (ИКС).
## моделирование КС;
## моделирование ИКС;
## поведение функции Шеннона для сложности правильных комбинационных КМОП-схем.
# Синтез комбинационных КМОП-схем на основе структурного моделирования схем из функциональных элементов (СФЭ).
## моделирование СФЭ в различных базисах и вложение в библиотеку;
## СФЭ на негативных элементах и инверсная сложность ФАЛ;
## примеры и сравнительный анализ разных типов структурного моделирования.
# КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами.
## логическая и транзисторная схемы RS-триггера, его функционирование;
## логическая и транзисторная схемы асинхронной ячейки памяти, ее функционирование;
## схема D-триггера и его связь с единичной задержкой;
## общая структура автоматных схем, задача их оптимизации.
# Клеточные схемы как «грубая» топологическая модель СБИС. Порядок функции Шеннона для площади клеточных схем.
## клеточные схемы из функциональных и коммутационных элементов в стандартном базисе;
## клеточная реализация дешифратора, построенного по совершенной ДНФ;
## порядок функции Шеннона для площади клеточных схем.
# Асимптотика площади дешифратора и ее антагонизм с числом функциональных элементов.
## нижняя оценка и асимптотика площади клеточного дешифратора;
## нижняя оценка площади дешифратора, построенного асимптотически наилучшим по числу функциональных элементов методом.
# Основные понятия, связанные с вложением графов. Вложения полных двоичных деревьев в плоские прямоугольные решетки (ППР) минимальной высоты.
## вложения графов и связанные с ними понятия;
## вложения графов в различные типы ППР, высота и площадь полного двоичного дерева;
# Асимптотика площади полных двоичных деревьев.
##асимптотика площади полного двоичного дерева при различных перегрузках и различных способах расположения листьев на границе решетки;
##Н-деревья и порядок площади полного двоичного дерева при произвольном расположении листьев.

=== Основные подходы и методы логического синтеза СБИС ===

# Двухуровневый логический синтез и ДНФ. Основные подходы к двухуровневой оптимизации.
## реализация функций в виде ДНФ и ее связь с ПЛМ;
## простые импликанты и неизбыточные покрытия;
## кофакторы и разложение Шеннона;
## использование областей неопределенности (don’t care);
# Многоуровневый логический синтез и связанные с ним представления функций.
## скобочные формы, построенные на основе ДНФ;
## определение двоичных решающих диаграмм (BDD) и представления функций в виде BDD;
## связь BDD с контактными схемами и операции над BDD, различные типы BDD;
## выбор оптимального порядка переменных разложения и его значение для упорядоченных BDD.
# Основные подходы к многоуровневой оптимизации.
## декомпозиция и другие структурные операции над булевскими сетями;
## упрощение вершин и его основные приемы;
## использование булевских и алгебраических делителей;
## привязка к библиотечному базису (mapping).
# Анализ задержек и временная оптимизация схем.
## временной анализ транзисторных схем;
## модели задержек функциональных элементов и задержки СФЭ;
## статические критические пути и борьба с ними, выявление «ложных» критических путей.

=== Логический синтез СБИС в системе SIS ===

# Знакомство с системой логического синтеза СБИС SIS. Форматы представления данных.
## понятие о логическом синтезе. Общие сведения о системе SIS. Основные возможности системы;
## форматы представления данных в SIS: .pla, .blif, .eqn (подробный разбор формата .blif);
## формат файлов библиотеки .genlib;
## привязка к библиотеке (мэппинг) и пример её простой реализации;
## основные команды и операции системы SIS.
# Алгоритмы логической оптимизации в SIS.
## описание двухуровневой и многоуровневой модели представления функций;
## основные команды логической оптимизации в системе SIS (simplify, resub, gkx, gcx и др.) и описание их работы;
## оптимизационные скрипты в SIS (на примере скрипта script.algebraic).
# Эвристический алгоритм двухуровневой оптимизации ESPRESSO.
## общее описание идеи и структуры алгоритма;
## построение тупикового покрытия по заданному покрытию (процедура IRREDUNDANT);
## сужение граней заданного покрытия (процедура REDUCE);
## максимальное расширение граней заданного покрытия (процедура EXPAND).
#Моделирование асинхронных систем.
##сети Петри (описание модели и особенности функционирования);
##моделирование различных асинхронных систем при помощи сетей Петри;
##основные характеристики сетей Петри: ограниченность, живучесть, обратимость (на примере конкретных схем).

== Литература ==
# Ложкин С.А. Лекции по основам кибернетики <sup>[[Media:Lozh-lectures1.pdf|[1]]][[Media:Lozh-lectures2-2007.pdf|[2]]][[Media:Lozh-lectures3-2007.pdf|[3]]]</sup>. — М.: Изд. Отдел ф-та ВМиК МГУ, 2004. — 256 с.
# Brayton R.K., Logic Synthesis. — Univ. of California, Berkeley, 2000.
# Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС <sup>[[Media:Lozhkin-Marchenko-VSLI-models.pdf|[1]]]</sup>.

== Слайды к лекциям ==
# Меры качества разработки цифровой интегральной схемы [[Media:SBIS_slides_2012_metrics.pdf|[1]]]
# КМОП-схемы с памятью, реализация автоматных функций КМОП-схемами [[Media:SBIS_slides_2012_CMOS_memory.pdf|[2]]]

== Домашние задания (2011 год) ==
# Домашнее задание №2 <sup>[[Media:MMMSBIS_HW2.pdf|[1]]]</sup>.
# Домашнее задание №3 <sup>[[Media:MMMSBIS_HW3.pdf|[2]]]</sup>.
[[Категория:Лекционные курсы кафедры МК]]

== Материалы к зачету по курсу ==
# Список вопросов к зачету (вариант 2012 года) [[Media:MMMSBIS_2012.pdf|[1]]].
# Список вопросов к зачету (вариант 2011 года) [[Media:MMMSBIS_2011.pdf|[1]]].
# Таблица успеваемости (2011-2012 учебный год) [https://docs.google.com/spreadsheet/pub?hl=en_US&hl=en_US&key=0An6Aw8HJE2VpdFExbjBFQzBRN1VTMzFmYXZ5RF8yTGc&output=html [2]]

Файл:Lozhkin-Marchenko-VSLI-models.pdf

2014-02-08T06:35:02Z

LozhkinSA:

Файл:VMK-2009part1.pdf

2014-02-08T06:22:03Z

LozhkinSA:

Основы кибернетики (3-й поток)

2014-02-08T06:19:50Z

LozhkinSA: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014)
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013)
* [[Media:VMK-2009part1.pdf|Ложкин С.А., Марченко А.М. Математические модели и методы синтеза СБИС]]

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+

==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2014-02-08T06:13:16Z

LozhkinSA:

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014).
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013).

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+
==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2014-02-08T05:09:37Z

LozhkinSA:

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

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

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

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014).
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013).

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+
==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2014-02-08T05:07:34Z

LozhkinSA:

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

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

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014).
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013).

<br>
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+
==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2014-02-08T05:05:50Z

LozhkinSA:

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

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

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2013-2014 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014).
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013).

<br><br>

<div style="max-width:800px">
<center>[[Файл:Cybernetics.jpg]]</center>
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+
==Объявления==

|}
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2014-02-08T05:02:46Z

LozhkinSA:

Основы кибернетики (3-й поток)

2014-02-08T05:02:17Z

LozhkinSA:

Основы кибернетики (3-й поток)

2014-02-08T05:01:24Z

LozhkinSA:

Основы кибернетики (3-й поток)

2014-02-08T05:00:55Z

LozhkinSA:

Основы кибернетики (3-й поток)

2014-02-08T04:56:34Z

LozhkinSA: /* Материалы по курсу */

__NOTOC__
Страница информационной поддержки курса «Основы кибернетики» для студентов, обучающихся по специальности 01.02 — прикладная математика и информатика. Объём и, в некоторой степени, программа курса варьируются в зависимости от специализации.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор 2012-2013 уч. года — профессор [[Ложкин Сергей Андреевич]] (lozhkin@cs.msu.su).

<center>[[Файл:Cybernetics.jpg]]</center>
<center><div style="max-width:800px">
{| border="0" cellspacing="0" cellpadding="1" width="80%" align="center"
|+
==Объявления==

|}
</div></center>

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

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

== Общая информация ==
Для студентов 3 курса программистских кафедр (кафедры математической кибернетики) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 (соответственно 32) часами семинарских занятий, и завершается экзаменом (соответственно зачётом и экзаменом).

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

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

== Материалы по курсу ==
* Программа курса, предварительный вариант вопросов к экзамену, план семинарских занятий, график проведения контрольных работ и дополнительных занятий, порядок проведения экзамена: [[Media:Курс_ОК_318.pdf|гр. 318]], [[Media:Курс_ОК_320-328.pdf|гр. 320-328]] (08.02.2014).
* Методичка Ложкин С.А. «Основы кибернетики» (вариант 2013 года): [[Media:ОК_Часть_1_2013.pdf|Часть 1]] (25.02.2013), [[Media:ОК_Часть_2_2013.pdf|Часть 2]] (25.06.2013), [[Media:ОК_Часть_3_2013.pdf|Часть 3]] (14.05.2013), [[Media:ОК_Часть_4_2013.pdf|Часть 4]] (04.05.2013).

[[Категория:Лекционные курсы кафедры МК]]