- •Содержание
- •1. Теория множеств
- •1.1. Основные определения
- •1.2. Операции над множествами
- •1.3. Системы множеств
- •1.4. Декартово произведение множеств
- •1.5. Бинарные отношения
- •1.5.1. Определение бинарного отношения
- •1.5.2. Способы задания бинарного отношения
- •1.5.3. Свойства бинарных отношений
- •1.5.4. Отношения эквивалентности
- •1.7. Контрольные вопросы и упражнения
- •2. Математическая логика
- •2.1.Алгебра логики
- •2.1.1. Логические высказывания
- •2.1.2. Основные логические операции
- •2.1.3. Формулы алгебры логики
- •2.1.4. Логические функции
- •Функции одной переменной
- •Функции двух переменных
- •2.2. Булева алгебра
- •2.2.1. Булевы функции и операции
- •Свойства булевых операций
- •2.2.2. Совершенные дизъюнктивная и конъюнктивная нормальные формы
- •2.3. Полные системы логических функций
- •Класс функций, сохраняющих ноль
- •Класс функций, сохраняющих единицу
- •Класс самодвойственных функций
- •Класс монотонных функций
- •Класс линейных функций
- •2.4. Задача минимизации днф
- •2.4.1. Основные определения
- •2.4.2. Этапы минимизации днф
- •2.4.3. Минимизация днф методом Квайна
- •2.5. Синтез логических схем
- •2.6. Контрольные вопросы и упражнения
- •3. Теория графов
- •3.1. Основные определения
- •3.1.1. Общие понятия
- •3.1.2. Ориентированные и неориентированные графы
- •3.1.3. Маршруты в графах
- •3.1.4. Частичные графы и подграфы
- •3.1.5. Связность в графах
- •3.1.6. Изоморфизм. Плоские графы
- •3.2. Отношения на множествах и графы
- •3.3. Матрицы смежности и инциденций графа
- •3.4. Операции над графами
- •3.4.1. Сумма графов
- •3.4.2. Пересечение графов
- •3.5. Степени графов
- •3.5.1. Степени неориентированных графов
- •3.5.2. Степени ориентированных графов
- •3.6. Характеристики графов
- •3.6.1. Характеристики расстояний в графах
- •3.6.2. Характеристические числа графов
- •3.7. Циклы и разрезы графа
- •3.7.1. Остов и кодерево
- •3.7.2 . Базисные циклы и разрезающие множества
- •Свойства базисных циклов и разрежающих множеств
- •3.7.3. Цикломатическая матрица и матрица разрезов
- •Составление цикломатической матрицы
- •Составление матрицы разрезов
- •3.8. Задача определения путей в графах
- •3.8.1. Определение путей в графе
- •3.8.2. Алгоритм определения кратчайших путей
- •Алгоритм Дейкстры
- •Первая итерация
- •Вторая итерация
- •Третья итерация
- •3.9. Обход графа
- •3.9.1. Эйлеровы маршруты
- •3.9.2. Гамильтоновы маршруты
- •3.10. Контрольные вопросы и упражнения
- •Список литературы
1.7. Контрольные вопросы и упражнения
Вставьте обозначения числовых множеств:
множество натуральных чисел;
множество целых чисел;
множество рациональных чисел;
множество действительных чисел.
2. Вставьте пропущенный знак или : 117 ___ N; 22,4 ___ Z; 4/3___Q;
___ Q; ___R; ___ Z.
Принадлежит ли множеству корней уравнения
x2 - 5х + 6 = 0 число х = -3?
Какими способами можно задать множество?
Запишите множество действительных корней уравнения 3х + 4 = 0. Как записать ответ, если требуется найти множество целых корней этого уравнения?
Что такое подмножество данного множества? Какой символ используется для записи «множество А является подмножеством множества В»? Запишите его: А ____ В.
Вставьте пропущенный символ или :
1 ___ {1,2,3}; {1} ____ {1,2,3};
___ {1,2,3}; {2,3} ____ {1,2,3}.
Вставьте пропущенные знаки операций на множествах:
{а,b,с} ____ {d,b,e} = {b};
{a,b,с} ____ {с, d} = {а,b,с,d};
{а,b,с} ____ {a,d} = {b,c}.
Что такое булеан множества X?
Является ли булеаном множества {а,b,с} система подмножеств {а}, {b}, {с} ?
Является ли разбиением множества {а,b,с} система подмножеств {a,b},{b,с},{а,с} ?
Нарисуйте диаграммы Эйлера для левой и правой частей закона де Моргана. Сравните их.
Запишите законы алгебры множеств. Запомните их названия.
Вставьте пропущенный знак = или : {3,5} _____ {5,3}; (3,5) _____ (5,3).
Нарисуйте график декартова произведения X Y, где X = {1,5}, Y = {2,3}. Совпадает ли он с графиком У X?
Дайте определение бинарного отношения на множестве.
Обведите кружком номер правильного ответа. Областью определения бинарного отношения R называется множество
а) {(х, у)| (х, у) R};
б) {х| (х, у) R};
в) {у| (х, у) R}.
Какими способами можно задать бинарное отношение?
Какое отношение является рефлексивным?
Какой особенностью обладает матрица рефлексивного отношения? А матрица симметричного отношения?
Закончите фразу: Отношение, обладающее свойствами рефлексивности, симметричности, транзитивности, называется отношением
_________________________________________.
Запись [х] используется для обозначения __________________________________________.
2. Математическая логика
2.1.Алгебра логики
2.1.1. Логические высказывания
Под логическим высказываниемпонимается повествовательное предложение, о котором имеет смысл говорить, что оно истинно или ложно, но не то и другое вместе.
Примеры:
Волга впадает в Каспийское море.
Два больше трёх.
Я лгу.
Примеры 1, 2 являются высказываниями (1 – истинно, 2 –ложно). Пример 3 – не высказывание (если предположить, что оно истинно, то в силу его смысла оно одновременно ложно и, наоборот, из ложности этого предложения вытекает его истинность).
В алгебре логики не рассматривают внутреннюю структуру высказываний, а ограничиваются рассмотрением их свойства представлять истину или ложь. Поэтому на высказывание можно смотреть, как на величину, которая может принимать только одно из двух значений: «истина» или «ложь».
Высказывания будем обозначать буквами А, В, С, а их значения («истина» или «ложь») – соответственно цифрами 1 или 0. Эти цифры будем рассматривать как символы, не имеющие арифметического смысла.
В обычной речи сложные предложения образуются из простых предложений с помощью связок: «и», «или», «если..., то…» и т. д.
Примеры:
Светит солнце, и идёт дождь.
Шесть делится на два или шесть делится на три.
Если контакт замкнут, то лампа горит.
Связкиможно рассматривать какоперациинад высказываниями. В алгебре логики вводят операции, аналогичные связкам обычной речи. При этом истинность или ложность сложного высказывания полностью определяется истинностью или ложностью его составляющих.