Поиск

Закладки

Озвучивание недоступно

Озвучить книгу

Изменить режим чтения

Изменить размер шрифта

Оглавление

Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Дискретная математика для бакалавриата

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

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

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

Table of contents

Введение

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. Элементы теории кодирования +

Пример выполнения приближенного к типовому варианта контрольной работы с решением

Заключение

Данный блок поддерживает скрол*