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