Файл: Вопросы для подготовки к экзамену по дисциплине дискретная математика.docx
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 09.11.2023
Просмотров: 20
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Вопросы для подготовки к экзамену
по дисциплине «ДИСКРЕТНАЯ МАТЕМАТИКА»
-
Определение множества, подмножества, элемента. Способы задания множества. -
Понятие универсума и пустого множества. Операции над множествами. -
Свойства операций над множествами. Доказательство свойств с помощью диаграмм Эйлера-Венна. -
Прямое (декартово) произведение. Бинарные отношения. -
Отношение эквивалентности. Отношение порядка. -
Функциональные отношения. Отображения. Виды отображений. -
Понятие высказывания и высказывательной формы. Основные логические операции. -
Построение таблиц истинности. Понятие логической формулы. Формализация высказываний. -
Понятие логической равносильности. -
Законы логики высказываний. -
Понятие логического следования. -
Понятие нормальной логической формы. Понятие СДНФ и СКНФ. Составление нормальных форм по таблицам истинности. -
Получение следствий с помощью СДНФ и СКНФ. -
Определение предиката. Способы задания предиката. Область определения и множество истинности предиката. -
Логические операции в логике предикатов. Определение кванторов. Квантификация логических предикатов. -
Понятие испытания и события. Виды событий. Полная группа событий. Определение вероятности. -
Основные формулы комбинаторики. -
Полная группа событий. Противоположные события. -
Сложение и произведение вероятностей несовместных событий. -
Условная вероятность. -
Сложение и произведение вероятностей совместных событий. -
Вероятность появления хотя бы одного события из группы. -
Формула полной вероятности. -
Формулы Бейеса. -
Формула Бернулли. -
Понятие о случайной и детерминированной величине. -
Определение графа. Неориентированный, взвешенный и орграф. -
Связность графа. Понятие пути, цепи и цикла в графе. Гамильтонов граф. Эйлеров граф. -
Матричное задание графов. -
Алгоритм Фалкерсона.