Реферат: Основные положения дискретной математики
Содержание
1. ТЕОРИЯ МНОЖЕСТВ
1.1 Понятие множества и подмножества
1.2 Графическая интерпретация множеств и операций над ними
1.3 Свойства операций
1.4 Тождества и их доказательство
1.5 Отношения на множествах
1.6 Свойства отношений
1.7 Отношение порядка
1.8 Отношение эквивалентности
2 МАТЕМАТИЧЕСКАЯ ЛОГИКА. АЛГЕБРА ЛОГИКИ
3. БУЛЕВА АЛГЕБРА
3.1 Совершенные нормальные формы
3.1.1 Совершенная дизъюнктивная нормальная форма
3.1.2 Разложение по переменным
3.1.3 Алгоритм преобразования формулы в СДНФ
3.2 Совершенная конъюнктивная нормальная форма (СКНФ)
3.2.1 Алгоритм преобразования формулы в СКНФ
4 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
4.1 Равносильные формулы и их доказательство
4.2 Равносильные формулы
4.3 Доказательство равносильностей
5. БУЛЕВЫ ФУНКЦИИ
5.1 Полнота системы булевых функций
6. ЛОГИКА ПРЕДИКАТОВ
5.1 Операции над предикатами
5.2 Кванторы
5.3 Формулы
6. ТЕОРИЯ ГРАФОВ
--> ЧИТАТЬ ПОЛНОСТЬЮ <--