Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика для бакалавриата
2. Элементы математической логики
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Введение
1. Множества, отношения и функции
+
2. Элементы математической логики
-
2.1. Основные законы математической логики, булевы функции и таблицы истинности
2.1.1. Основные законы математической логики
2.1.2. Булевы функции и приоритет логических операций
2.1.3. Таблицы истинности
2.1.4. Сводная таблица логических функций двух переменных
2.2. Логика высказываний и язык математической логики
2.2.1. Простые высказывания
2.2.2. Сложные (составные) высказывания
2.2.3. Эквивалентные высказывания и замена операций импликации и эквивалентности
2.2.4. Упрощение сложных высказываний
2.3. Взаимосвязь между языком математической логики и алгеброй множеств
2.3.1. Тождества алгебры множеств
2.3.2. Язык математической логики и алгебра множеств
2.3.3. Доказательства логико-математических выражений на основе диаграмм Эйлера-Венна
2.3.4. Доказательства логико-математических выражений путём построения таблицы истинности для левой и правой частей
2.3.5. Доказательство логико-математических выражений путём правильных логических рассуждений
2.4. Логические сети и контактные схемы
2.4.1. Логические сети
2.4.2. Релейно-контактные схемы и возможности их использования
2.4.3. Анализ и синтез логических сетей с применением функции проводимости
2.5. Предикаты
2.5.1. Отличие предикатов от высказываний и основные понятия логики предикатов
2.5.2. Предикаты и кванторы
2.6. Исчисление предикатов (первого порядка)
2.6.1. Основные понятия исчисления предикатов
2.6.2. Правила вывода в исчислении предикатов (первого порядка)
Вопросы для самоконтроля
2.7. Решение задач
Литература к главе 2
3. Элементы теории графов
+
4. Элементы теории кодирования
+
Пример выполнения приближенного к типовому варианта контрольной работы с решением
Заключение
Данный блок поддерживает скрол*