1.2.Теория множеств
Многие первичные понятия дискретной математики, как и математики вообще, даются на интуитивном уровне. К ним добавляется система аксиом – утверждения, которые всегда верны, и правила вывода, следуя которым мы получаем возможность строить сколь угодно сложные утверждения, доказывать теоремы, решать задачи
итак далее.
Втечение своей жизни мы сталкивались с таким подходом неоднократно. Используя понятие числа и операций над ним (сложение, умножение, деление, вычитание), изучали арифметику. Используя понятие точки, прямой, угла и плоскости, мы изучали геометрию. Алгебра и стереометрия, основы математического анализа и аналитической геометрии изучались нами похожим образом.
Такой подход называется аксиоматическим [1]. При изучении теории множеств мы также используем аксиоматический подход.
- Предисловие
- 1.2.Теория множеств
- 1.2.1. Основные понятия теории множеств
- 1.2.4. Свойства операций над множествами
- 1.3.4. Свойства бинарных отношений
- 1.3.7. Отношение толерантности
- 1.3.8. Операции над отношениями
- 2.1. Фундаментальные алгебры
- 2.2. Алгебра высказываний
- 2.6. Булевы функции
- 2.7. Формы представления логических функций
- 2.10. Построение логических схем
- Глава 3. Формальные теории
- 3.1. Основные свойства формальных теорий
- 3.1.1. Выводимость
- 4.1. Прямые доказательства
- 4.2.Косвенные доказательства
- Глава 5. Основы комбинаторики
- 5.4. Разбиения
- 5.7. Производящие функции
- Глава 6. Основы теории графов
- 6.1. Основные понятия
- 6.6. Устойчивость графов
- 6.6.1. Внутренняя устойчивость
- 6.7.3. Двудольное представление графов
- 6.10. Построение графов
- 6.10.1. Преобразование прилагательных в числительные
- 6.10.3. Оценка количества ребер сверху и снизу
- 7.1. Введение в теорию нечетких моделей
- 7.1.1. Принятие решений в условиях неопределенности
- 7.2. Нечеткие множества. Базовые определения
- 7.2.1. Базовые и нечеткие значения переменных
- 7.3.Операции над нечеткими множествами
- 7.3.5. Операции «равенство» и «разность»
- 7.7. Нечеткие числа
- 7.8.Приближенные рассуждения
- 7.8.1. Нечеткая лингвистическая логика
- 7.8.2. Композиционное правило вывода
- Список литературы