Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Готовые шпоры Дискретная матика.docx
X
- •Теоретическая часть
- •Логические операции. Формулы логики. Таблица истинности. Дизъюнктивная и конъюнктивная нормальные формы
- •Законы логики. Равносильные преобразования
- •Понятие совершенной днф. Методика представления булевой функции в виде совершенной днф.
- •Понятие совершенной кнф. Методика представления булевой функции в виде совершенной кнф.
- •Понятие множества. Декартова степень множества.
- •Понятие предиката.
- •Кванторные операции над предикатами.
- •Понятие предиката. Понятие предикатной формулы; свободные и связанные переменные.
- •Понятие предиката.
- •Понятие бинарного отношения. Рефлексивные бинарные отношения. Симметричные бинарные отношения. Транзитивные бинарные отношения.
- •Понятие бинарного отношения. Отношение эквивалентности; теорема о разбиении множества на классы эквивалентности.
- •Понятие отображения. Взаимооднозначные (биективные) отображения. Операция композиции отображений и ее свойства.
- •Свойство
- •Понятие отображения. Обратное отображение. Композиционная степень отображения.
- •Понятие подстановки. Произведение подстановок.
- •Понятие подстановки. Обратная подстановка.
- •Эйлеровы графы. Теорема Эйлера (критерий эйлеровости графа). Методика нахождения эйлерова цикла в эйлеровом графе.
- •Понятие достижимости одной вершины из другой вершины в орграфе. Множество достижимости вершины. Матрица достижимости.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]