Дисциплина: Математика
Жанр: Учебники и учебные пособия для вузов
Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям ВПО 010400 «Прикладная математика и информатика» и 010300 «Фундаментальная информатика и информационные технологии»
Постраничный просмотр для данной книги Вам недоступен.
Книга доступна только по подписке.
| Предисловие | 5 |
| Указатель обозначений | 8 |
| Глава I. Элементарные свойства булевых функций | 11 |
| § 1. Табличное задание булевых функций | 11 |
| § 2. Некоторые элементарные булевы функции | 12 |
| § 3. Существенные и фиктивные переменные | 14 |
| § 4. Формулы и реализация булевых функций формулами | 17 |
| § 5. Эквивалентность формул | 19 |
| § 6. Замыкание. Замкнутые классы | 21 |
| § 7. Разложение булевой функции по переменным | 24 |
| § 8. Двойственность. Принцип двойственности | 27 |
| § 9. Полиномы Жегалкина | 29 |
| Глава II. Замкнутые классы и критерий полноты | 33 |
| § 1. Класс самодвойственных функций | 33 |
| § 2. Класс линейных функций | 34 |
| § 3. Класс монотонных функций | 36 |
| § 4. Критерий полноты | 40 |
| § 5. Замкнутые классы, содержащие константы | 43 |
| Глава III. Решетка замкнутых классов булевых функций | 47 |
| § 1. Замкнутые классы, лежащие в классах U, D, K, L | 47 |
| § 2. Замкнутые классы, лежащие в классах S, O∞, I∞ | 49 |
| § 3. Замкнутые классы, лежащие в классах T₁ и T₀ | 56 |
| § 4. Основной результат | 62 |
| Глава IV. Предикатное описание замкнутых классов | 66 |
| § 1. Булевы предикаты и операции над предикатами | 66 |
| § 2. Отношение сохранения предиката функцией | 70 |
| § 3. Соответствие Галуа | 76 |
| § 4. Замкнутые классы, определяемые конечным числом предикатов | 82 |
| § 5. Предикатное задание замкнутых классов | 86 |
| Глава V. Операторы параметрического и позитивного замыкания | 92 |
| § 1. Параметрическое замыкание | 92 |
| § 2. Централизаторы и бицентрализаторы | 102 |
| § 3. Позитивное замыкание | 107 |
| Глава VI. Частичные булевы функции | 111 |
| Глава VII. Реализация булевых функций схемами из функциональных элементов | 117 |
| § 1. Системы булевых уравнений и схемы из функциональных элементов | 117 |
| § 2. Предварительные оценки функции Шеннона | 121 |
| § 3. Метод Шеннона | 123 |
| § 4. Асимптотически наилучший метод О. Б. Лупанова | 125 |
| Список литературы | 131 |
| Предметный указатель | 134 |
Отзывы: нет |
© 2001–2023, Издательство «Директ-Медиа» тел.: 8-800-333-68-45 (звонок бесплатный), +7 (495) 258-90-28 manager@directmedia.ru
