Реферат: Основные положения дискретной математики

Содержание

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. ТЕОРИЯ ГРАФОВ

--> ЧИТАТЬ ПОЛНОСТЬЮ <--

К-во Просмотров: 399
Бесплатно скачать Реферат: Основные положения дискретной математики