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