Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика
Глава IV. Предикаты
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Глава I. Элементы комбинаторики
+
Глава II. Графы и сети
+
Глава III. Булевы функции и формулы
+
Глава IV. Предикаты
-
§ 1. Высказывания, предикаты, кванторы. Геометрический смысл кванторов
§ 2. Модель, сигнатура модели, формулы в модели. Свободные и связанные переменные
§ 3. Истинность формулы в модели, на множестве. Тождественно истинные формулы
§ 4. Эквивалентность формул. Правила преобразования формул с кванторами
§ 5. Приведённые формулы
§ 6. Нормальные формулы
Глава V. Схемы из функциональных элементов. Синтез и оценки сложности схем
+
Глава VI. Тесты
+
Глава VII. Ограниченно-детерминированные функции и реализация их автоматами
+
Глава VIII. Алгоритмы
+
Глава IX. Кодирование
+
Глава X. Дискретные экстремальные задачи
+
Зaдачи
+
Ответы, указания, решения
+
Литература
Данный блок поддерживает скрол*