Раздел 3 / 5

Страница 1 / 12

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

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

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

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

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

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

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

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

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

Упражнения

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

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