Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика в задачах
Глава 6. Логика и исчисление высказываний
Поставить закладку
6.0. Введение
Для продолжения работы требуется
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. Разностные уравнения
+
Предметный указатель
Литература
Данный блок поддерживает скрол*