Поиск

Закладки

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

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

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

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

Оглавление

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

Дискретная математика

3. Введение в логику высказываний

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

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

Table of contents

1. Множества +

2. Математическая логика +

3. Введение в логику высказываний -

3.1. Высказывания и операции над ними

3.2. Построение доказательств в логике высказываний

3.2.1. Аксиоматика в логике высказываний

3.2.2. Табличный метод доказательства

3.2.3. Метод резолюций

Упражнения

4. Введение в логику предикатов +

Библиографический список

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