Дискретная математика
Или по другому
М = { x │P(x)} − множество М, состоящее из элементов x, обладающих свойством Р.
Содержание
- Дискретная математика.
- Множества.
- П римеры
- Или по другому
- Операции над множествами.
- Основные свойства операций над множествами.
- Алгебра высказываний.
- Логические операции над высказываниями.
- Отрицание.
- Конъюнкция.
- Эквиваленция
- Импликация.
- Формулы алгебры высказываний.
- Элементарные высказывания, символы логических переменных – формулы;
- Если f1 и f2 – формулы алгебры высказываний, то
- Других формул алгебры высказываний нет.
- Равносильность формул.
- Совершенная дизъюнктивная нормальная форма.
- Приведение формулы к сднф.
- Совершенная конъюнктивная нормальная форма.
- Приведение формулы к скнф.
- Полнота и замкнутость.
- Минимизация днф.
- Способы задания булевых функций.
- Табличный способ задания.
- Графический способ задания.
- Аналитический способ задания.
- Элементы теории графов.
- Матрицы графов.
- Некоторые общие понятия теории графов.
- Взвешенные графы и алгоритмы поиска кратчайшего пути.
- Задача о кратчайших путях.
- Элементы теории алгоритмов.
- Понятие автомата.
- Машина Тьюринга.
- Автомат Мили.
- Правило суммы.
- Правило прямого произведения.
- Размещения с повторениями.
- Размещения без повторений.
- Перестановки.
- Сочетания.
- Сочетания с повторениями.