- •Едеральное агентство по образованию
- •Оглавление
- •Раздел 1. Элементы теории множеств 8
- •Раздел 2. Элементы комбинаторики 20
- •Раздел 3. Алгебра логики 36
- •Раздел 4. Синтез управляющих систем 62
- •Раздел 5. Теория графов 77
- •Введение
- •Раздел 1 элементы теории множеств
- •1.1. Множества и операции над ними
- •1.2. Алгебра множеств
- •1.3. Разбиение множества на подмножества
- •1.4. Кортежи и декартово произведение множеств
- •1.5. Отображение множеств
- •1.6. Отношения
- •1.7. Свойства бинарных отношений
- •1.8. Алгебра подмножеств
- •1.9. Задания для самостоятельной работы
- •Раздел 2 элементы комбинаторики
- •2.1. Комбинаторика
- •2.2. Различные комбинаторные соотношения
- •2.3. Свойства биномиальных коэффициентов. Биномиальная теорема. Полиномиальная теорема
- •2.4. Принцип включения и исключения
- •2.5. Формула решета
- •2.6. Производящие функции
- •2.7. Производящие функции числа основных комбинаторных объектов
- •2.8. Задания для самостоятельной работы
- •Раздел 3 алгебра логики
- •3.1. Булевы функции
- •3.2. Формулы
- •3.3. Сопоставление формулам над множеством функций
- •3.4. Свойства элементарных функций
- •3.5. Разложение булевых функций
- •3.6. Совершенная д. Н. Ф., совершенная к. Н. Ф.
- •3.7. Полные системы
- •3.8. Примеры полных систем
- •3.9. Полиномы Жегалкина
- •3.10. Единственность представления булевых функций полиномами Жегалкина
- •3.11. Методы построения полиномов
- •I. Метод построения с помощью таблицы.
- •II. Метод неопределенных коэффициентов.
- •III. Метод суперпозиции.
- •3.12. Замыкание. Свойства операции замыкания. Замкнутые классы
- •3.13. Классы и их свойства
- •3.14. Линейные функции и их свойства
- •3.15. Принцип двойственности
- •3.16. Самодвойственные функции, их свойства
- •3.17. Лемма о несамодвойственной функции
- •3.18. Монотонные функции, их свойства
- •3.19. Лемма о немонотонной функции
- •3.20. Теорема о полноте в р2
- •3.21. Предполные классы
- •3.22. Возможность выделить из любой полной системы полную подсистему, состоящую из не более чем 4-х функций
- •3.23. Представление о результатах Поста
- •3.24. Задания для самостоятельной работы
- •Раздел 4 синтез управляющих систем
- •4.1. Схемы из функциональных элементов
- •4.2. Определение схем из функциональных элементов
- •4.3. Основные понятия и определения
- •4.4. Возможность реализации любой функции алгебры логики сфэ
- •4.5. Простейшие методы синтеза
- •4.6. Метод Шеннона
- •4.7. Асимптотически наилучший метод (метод о.Б. Лупанова)
- •4.8. Задания для самостоятельной работы
- •Раздел 5 теория графов
- •5.1. Элементы теории графов
- •5.2. Основные понятия и определения
- •5.3. Способы задания графа
- •5.4. Некоторые соотношения в графе
- •5.5. Перечисление графов
- •5.6. Оценка числа неизоморфных графов с p вершинами
- •5.7. Оценка числа неизоморфных графов с q ребрами
- •5.8. Укладки графов. Укладка графов в трехмерном пространстве
- •5.9. Планарность. Формула Эйлера для плоских графов
- •5.10. Следствия из формулы Эйлера для плоских графов
- •5.11. Операция подразделения ребра
- •5.12. Гомеоморфность графов
- •5.13. Теорема Понтрягина-Куратовского
- •5.14. Деревья и их свойства
- •5.15. Деревья и операции над ними
- •5.16. Оценка числа неизоморфных корневых деревьев на p вершинах
- •5.17. Задания для самостоятельной работы
- •Литература Основная
- •Дополнительная
- •Михеева Елизавета Алексеевна
Раздел 4. Синтез управляющих систем 62
4.1. Схемы из функциональных элементов 62
4.2. Определение схем из функциональных элементов 63
4.3. Основные понятия и определения 64
4.4. Возможность реализации любой функции алгебры логики СФЭ 66
4.5. Простейшие методы синтеза 69
4.6. Метод Шеннона 71
4.7. Асимптотически наилучший метод (метод О. Б. Лупанова) 72
4.8. Задания для самостоятельной работы 75
Раздел 5. Теория графов 77
5.1. Элементы теории графов 77
5.2. Основные понятия и определения 78
5.3. Способы задания графа 78
5.4. Некоторые соотношения в графе 80
5.5. Перечисление графов 81
5.6. Оценка числа неизоморфных графов с р вершинами 84
5.7. Оценка числа неизоморфных графов с q ребрами 84
5.8. Укладки графов. Укладка графов в трехмерном пространстве 85
5.9. Планарность. Формула Эйлера для плоских графов 86
5.10. Следствия из формулы Эйлера для плоских графов 88
5.11. Операция подразделения ребра 89
5.12. Гомеоморфность графов 90
5.13 Теорема Понтрягина-Куратовского 90
5.14. Деревья и их свойства 91
5.15. Деревья и операции над ними 92
5.16. Оценка числа неизоморфных корневых деревьев на р вершинах 95
5.17. Задания для самостоятельной работы 96
Литература 100
Введение
Дискретная математика – часть математики, которая зародилась в глубокой древности. Главной её спецификой является дискретность, т.е. антипод непрерывности.
В широком смысле дискретная математика включает в себя и такие сложившиеся разделы математики, как теория чисел, алгебра, математическая логика и ряд разделов, которые наиболее интенсивно стали развиваться в середине XX века в связи с внедрением ЭВМ.
Научно-технический прогресс XX века поставил перед дискретной математикой проблему изучения сложных управляющих систем, в связи с чем в дискретной математике появились новые разделы, такие как теория функциональных систем, теория графов и сетей, теория кодирования, комбинаторный анализ, целочисленное программирование, криптография и т.п. Теория функциональных систем включает в себя алгебру логики; конечнозначную логику; ограниченно-детерминированные (автоматные) функции; вычислимые функции.
Дискретная математика сегодня является не только фундаментом математической кибернетики, но и важным звеном математического образования. Главной задачей курса дискретной математики является обучение методам и мышлению, характерным для дискретной математики. Материал курса дискретной математики подобран таким образом, чтобы сократить число необходимых понятий до минимума и, с другой стороны, дать небольшое количество (10–15) серьезных теорем с непохожими доказательствами, а также познакомить с применениями понятия алгоритма, владение которым особенно важно для специалистов в области прикладной математики.
В основу данного курса дискретной математики положен курс, который впервые был прочитан С.В. Яблонским (научным руководителем лектора данного курса) на механико-математическом факультете МГУ имени М.В. Ломоносова в 1964 году, с определенными изменениями, связанными с течением времени, бурным развитием вычислительной техники и появлением новых и новых специальностей, для которых дискретная математика является обязательным курсом.
В рабочую программу курса дискретной математики включены следующие разделы:
1. Элементы теории множеств.
2. Элементы комбинаторики.
3. Алгебра логики.
4. Синтез управляющих систем.
5. Теория графов.
6. Элементы математической логики.
7. Конечнозначная логика.
8. Ограниченно-детерминированные (автоматные) функции.
9. Вычислимые функции.
10. Теория кодирования.
11. Криптография.
Первые пять разделов читаются в первом семестре, остальные разделы – во втором.