Дискретная математика ПМ / Пособие по Дискретной математике
Глава 5. Логика высказываний и логика предикатов
Содержание
- Дискретная математика
- Содержание
- Глава 1. Теория множеств. Дискретная теория вероятности......5
- Глава 2. Теория графов.....................................................................50
- Глава 3. Дискретные структуры: конечные автоматы, коды...73
- Глава 4. Алгебра логических функций..........................................85
- Глава 5. Логика высказываний и логика предикатов..............106
- Упражнения
- 1.2. Векторы и прямые произведения множеств. Проекция вектора на ось
- Упражнения
- 1.3. Комбинаторика Правило суммы
- Правило произведения
- Число размещений без повторений
- Число размещений с повторениями
- Число перестановок без повторений
- Число сочетаний без повторений
- Упражнения
- 1.4. Введение в дискретную теорию вероятностей
- Свойства элементарных событий:
- Соотношения между событиями:
- Свойства операций над событиями:
- Аксиомы Колмогорова
- Свойства вероятности
- Классическое определение вероятности
- Упражнения
- 1.5. Соответствия и функции
- Взаимно однозначные соответствия и мощность множеств
- Упражнения
- 1.6. Отношения
- Способы задания бинарных отношений
- Свойства бинарных отношений
- Отношение эквивалентности
- Отношение порядка
- Лексико-графический порядок.
- Упражнения
- 1.7. Операции и алгебры
- Свойства бинарных алгебраических операций
- 1.8. Гомоморфизм и изоморфизм алгебр
- Полугруппы, группы, решетки
- Упражнения
- Глава 2. Теория графов
- 2.1. Основные определения, способы задания, основные классы, изоморфизм графов
- Способы задания графа
- Степени вершин графа
- Части, суграфы и подграфы
- Операции над частями графа
- Графы и бинарные отношения
- Упражнения
- Маршруты, цепи и циклы. Расстояния, диаметры, центры. Обходы. Разделяющие множества и разрезы
- Упражнения
- Деревья, их свойства. Характеристические числа графов. Сети
- Упражнения
- Глава 3. Дискретные структуры: конечные автоматы, коды
- 3.1. Машина Тьюринга
- Упражнения
- Основы теории кодирования
- Упражнения
- Глава 4. Алгебра логических функций
- 4.1. Основные определения
- Упражнения
- 4.2. Эквивалентные преобразования
- 1) ; 2);
- 1) ; 2).
- Упражнения
- 4.3. Дизъюнктивные и конъюнктивные нормальные формы
- Упражнения
- 4.4. Дизъюнктивные нормальные формы и импликанты
- Упражнения
- 4.5. Минимизация днф. Тупикова днф
- Упражнения
- 4.6. Алгебра Жегалкина
- Упражнения
- 4.7. Двойственность
- Принцип двойственности
- Упражнения
- 4.8. Функциональная полнота систем
- Упражнения
- Глава 5. Логика высказываний и логика предикатов
- 5.1. Логика высказываний
- Алгебра логики
- Исчисление высказываний
- Упражнения
- 5.2. Логика предикатов
- Упражнения
- Глава 6. Схемы переключателей. Комбинационные схемы
- Схемы переключателей
- Комбинационные схемы
- Упражнения
- Литература
- 650043, Кемерово, ул. Красная, 6.