Поиск
Закладки
Озвучивание недоступно Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика для бакалавриата

2. Элементы математической логики

Предыдущая страница

Следующая страница

2. Элементы математической логики
На предыдущую главу Предыдущая глава
оглавление
Следующая глава На следующую главу

Оглавление

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
Данный блок поддерживает скрол*