Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика
3. Введение в логику высказываний
Предыдущая страница
Следующая страница
Оглавление
1. Множества
+
2. Математическая логика
+
3. Введение в логику высказываний
-
3.1. Высказывания и операции над ними
3.2. Построение доказательств в логике высказываний
3.2.1. Аксиоматика в логике высказываний
3.2.2. Табличный метод доказательства
3.2.3. Метод резолюций
Упражнения
4. Введение в логику предикатов
+
Библиографический список
Данный блок поддерживает скрол*