Справка
x
ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Электронная библиотека технического вуза
Все издания
Вход / регистрация
Во весь экран / Свернуть
en
Версия для слабовидящих
Каталог
Все издания
Меню
Искать в книге
К результату поиска
Расширенный поиск
Закладки
На главную
Вход / регистрация
Во весь экран / Свернуть
en
Управление
Мои отчеты
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Дискретная математика для программистов
Оборот титула
Оглавление
Указатель обозначений
Предисловие
Глава 1. Введение
+
Глава 2. Логика и доказательство
-
2.1. Высказывания и логика
2.2. Предикаты и кванторы
2.3. Методы доказательств
2.4. Математическая индукция
Набор упражнений 2
Краткое содержание главы
Приложение. Корректность алгоритмов
Глава 3. Теория множеств
+
Глава 4. Отношения
+
Глава 5. Функции
+
Глава 6. Комбинаторика
+
Глава 7. Графы
+
Глава 8. Ориентированные графы
+
Глава 9. Булева алгебра
+
Решения упражнений
Дополнение к первому изданию
+
Дополнение ко второму изданию
+
Литература
Предметный указатель
Close Menu
Раздел
4
/
16
Страница
13
/
21
Глава 2. Логика и доказательство
/
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Регистрация
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Дискретная математика для программистов
Оглавление
Указатель обозначений
Предисловие
Глава 1. Введение
+
Глава 2. Логика и доказательство
-
2.1. Высказывания и логика
2.2. Предикаты и кванторы
2.3. Методы доказательств
2.4. Математическая индукция
Набор упражнений 2
Краткое содержание главы
Приложение. Корректность алгоритмов
Глава 3. Теория множеств
+
Глава 4. Отношения
+
Глава 5. Функции
+
Глава 6. Комбинаторика
+
Глава 7. Графы
+
Глава 8. Ориентированные графы
+
Глава 9. Булева алгебра
+
Решения упражнений
Дополнение к первому изданию
+
Дополнение ко второму изданию
+
Литература
Предметный указатель
