Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика
4. Введение в логику предикатов
Поставить закладку
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
1. Множества
+
2. Математическая логика
+
3. Введение в логику высказываний
+
4. Введение в логику предикатов
-
4.1. Конкретизация предикатов
4.2. Кванторы в предикатах
4.3. Построение доказательств в логике предикатов
Упражнения
Библиографический список
Данный блок поддерживает скрол*