ДМ ответы. Вопросы_ДМ. Дискретная математика. Вопросы Высказывания. Основные логические операции и их таблицы истинности
![]()
|
Дискретная математика. Вопросы Высказывания. Основные логические операции и их таблицы истинности. Стандартными блоками формальной логики являются высказывания. Высказыванием является утверждение, которое может быть истинным (обозначается буквой И) или ложным (обозначается буквой Л). ![]() ![]() ![]() ![]() ![]() ![]() ![]() Порядок выполнения логических операций. Дополнительные логические операции и их таблицы истинности. ![]() ![]() ![]() ![]() ![]() Основные законы, вытекающие из свойств логических операций. ![]() ![]() ![]() ![]() Булевы функции. Основные законы Булевых функций ![]() ![]() ![]() ![]() ![]() ![]() ![]() Конъюнктивные и дизъюнктивные нормальные формы. Построение СКНФ и СДНФ. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Многочлен Жегалкина. Построение многочлена Жегалкина. ![]() ![]() ![]() ![]() Множество, подмножество, способы задания множеств. Операции над множествами. Законы для объединения и пересечения ![]() ![]() ![]() ![]() ![]() ![]() Универсальное множество. Соотношения между множествами и соответствующими им множествами истинности. Законы для объединения и пересечения. ![]() ![]() ![]() ![]() ![]() Доказательство равенства множеств (рассмотреть на примере). Соотношения между множествами и составными высказываниями. Законы для дополнений и разности множеств. ![]() ![]() ![]() ![]() Прямое произведение множеств. Кортежи. Бинарные отношения. Функции. ![]() ![]() ![]() ![]() ![]() ![]() Отображение множеств. Отображение сюръективное и инъективное, биективное. Функции. ![]() ![]() ![]() ![]() ![]() Метод математической индукции. При помощи метода математической индукции доказать формулы арифметической и геометрической прогрессии. ![]() ![]() При помощи метода математической индукции доказать формулу для размещений. Перестановки. Сочетания. Комбинаторика с повторениями. ![]() ![]() ![]() ![]() ![]() ![]() Размещения с повторениями. Перестановки с повторениями. Сочетания с повторениями. ![]() ![]() ![]() ![]() Основные понятия теории графов. Маршруты (пути), цепи, циклы. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Изоморфизм графов. Полные, плоские и планарные графы. ![]() ![]() ![]() Операции над графами с примерами. ![]() ![]() ![]() ![]() ![]() Способы задания графов (геометрический, аналитический). Матрицы смежности и инцидетности для ориентированных и неориентированных графов. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Предикаты. Кванторы. Операции над Кванторами. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |