Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика для программистов
Глава 2. Логика и доказательство
Предыдущая страница
Следующая страница
Table of contents
Указатель обозначений
Предисловие
Глава 1. Введение
+
Глава 2. Логика и доказательство
-
2.1. Высказывания и логика
2.2. Предикаты и кванторы
2.3. Методы доказательств
2.4. Математическая индукция
Набор упражнений 2
Краткое содержание главы
Приложение. Корректность алгоритмов
Глава 3. Теория множеств
+
Глава 4. Отношения
+
Глава 5. Функции
+
Глава 6. Комбинаторика
+
Глава 7. Графы
+
Глава 8. Ориентированные графы
+
Глава 9. Булева алгебра
+
Решения упражнений
Дополнение к первому изданию
+
Дополнение ко второму изданию
+
Литература
Предметный указатель
Данный блок поддерживает скрол*