Раздел 6 / 11

Страница 1 / 29

Глава 6. Логика и исчисление высказываний

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

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

/

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

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Дискретная математика в задачах

Table of contents

Глава 1. Теория множеств +

Глава 2. Отношения +

Глава 3. Упорядоченные множества и решетки +

Глава 4. Теория графов +

Глава 5. Сети +

Глава 6. Логика и исчисление высказываний -

6.0. Введение

6.1. Высказывания и составные высказывания

6.2. Логические операции

6.3. Таблицы истинности для высказываний

6.4. Тавтологии и контрадикции

6.5. Логическая тождественность

6.6. Условные высказывания

6.7. Алгебра высказываний

6.8. Построение выводов в исчислении высказываний

6.9. Исчисление предикатов

6.10. Решенные задачи

Глава 7. Языки, автоматы, машины Тьюринга +

Глава 8. Кодирование в повседневной жизни +

Глава 9. Разностные уравнения +

Предметный указатель

Литература