Информатика21 лекция
Основы кибернетики

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

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


лекции
ВМК
Видеолекции
Материалы
О курсе
1:27:57Лекция 1. ДНФ функции алгебры логики
1:31:54Лекция 2. Сокращённая ДНФ
1:35:13Лекция 3. Особенности сокращённых ДНФ
44:21Лекция 4. Задача минимизации ДНФ
1:35:26Лекция 5. Сложность задачи минимизации ДНФ
1:25:52Лекция 6. Формула алгебры логики
1:08:47Лекция 7. Схема из функциональных элементов
1:24:39Лекция 8. Эквивалентные преобразования СФЭ
1:31:54Лекция 9. Контактная схема
1:30:42Лекция 10. Нижние оценки сложности ФАЛ
1:25:29Лекция 11. Суперпозиции различных схем
1:29:35Лекция 12. Каскадная СФЭ
1:23:11Лекция 13. Асимптотически наилучший метод синтеза СФЭ
1:27:02Лекция 14. Асимптотически наилучший метод синтеза формул
1:23:08Лекция 15. Асимптотически наилучший метод синтеза КС
1:28:06Лекция 16. Самокорректирующаяся КС
1:26:07Лекция 17. Задача контроля схем
1:31:26Лекция 18. Эквивалентные преобразования КС
40:58Лекция 19. Полнота системы основных тождеств
1:22:38Лекция 20. Цикломатическое число КС
1:29:46Лекция 21. Модификации классов схем