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

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

2.1. Основные законы математической логики, булевы функции и таблицы истинности
2.1.1. Основные законы математической логики
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 3 стр. из этой главы.
Для продолжения работы требуется Registration
На предыдущую страницу

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

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

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

Table of contents

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