Глава 3. Формальные теории

Содержание

• Предисловие
• 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. Композиционное правило вывода
• Список литературы