ВУЗ:
Составители:
Рубрика:
64
1. Выписка из ГОС ВПО (если дисциплина в ГОС имеется);
О.П.Д.Ф.5.
Дискретная математика и математическая логика: 275 часов.
Выборки, перестановки, сочетания, перестановки с повторениями;
биномиальные коэффициенты, производящие функции и
рекуррентные соотношения. Графы: основные понятия; способы
представления графов. Эйлеровы и гамильтоновы графы. Укладки
графов, планарность; формула Эйлера для плоских графов,
теорема Понтрягина – Куратовского. Деревья и их свойства,
каркасы. Теория кодирования: побуквенное кодирование;
разделимые
коды; префиксные коды; критерий однозначности
декодирования; неравенство Крафта – Макмиллана для
разделимых кодов; оптимальные коды; метод Хафмана;
самокорректирующиеся коды; коды Хэмминга, линейные коды и
их простейшие свойства; коды Боуза – Чоудхури. Синтез и
сложность управляющих систем: схемы из функцио-нальных
элементов; сложность схем, простейшие универсальные методы
синтеза; метод Шеннона; мощностной метод получения низких
оценок сложности; функция L(n); порядок роста и асимптотика
функции L(n). Конечные автоматы, эквивалентность автоматов,
приведенные автоматы. Схемы из логических элементов и
элементов задержки; реализация автоматных функций; события;
операции над событиями; регулярные события и их
представимость в автоматах; теорема Клини; регулярные
выражения; представимость событий регулярными выражениями.
Логические исчисления, модели: исчисление высказываний;
аксиомы; правило
вывода; тождественная истинность выводимых
формул; непротиворечивость исчисления высказываний; теорема о
полноте исчисления высказываний. Предикаты, кванторы; модели;
формулы; свободные и связанные переменные; истинность формул
в модели, на множестве. Общезначимые формулы, эквивалентные
формулы логики предикатов, нормальная форма; исчисление
предикатов; аксиомы; правила вывода; производные правила
вывода; тождественная истинность выводимых формул;
Страницы
- « первая
- ‹ предыдущая
- …
- 62
- 63
- 64
- 65
- 66
- …
- следующая ›
- последняя »
