URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Супрун В.П. Основы теории булевых функций
Id: 194730
 
329 руб.

Основы теории булевых функций

URSS. 2017. 208 с. Мягкая обложка. ISBN 978-5-9710-2913-7.

 Аннотация

Учебное пособие предназначено студентам младших курсов высших учебных учреждений математического (или технического) профиля для начального изучения одного из наиболее важных и сложных разделов дискретной математики --- теории булевых функций.

Основная область применения теории булевых функций --- разработка методов, алгоритмов и программных средств синтеза (проектирования) цифровых устройств на элементах заданного логического базиса. Кроме того, булевы функции широко применяются при решении логических задач различной сложности.

В пособии рассматриваются вопросы задания, минимизации и полиномиального разложения булевых функций, способы представления симметрических булевых функций, булево дифференцирование, замкнутые классы и проблема функциональной полноты. Все разделы учебного пособия снабжены примерами типовых задач с их подробным решением. Кроме того, в каждом разделе приводятся задачи для самостоятельного решения.

Пособие адресовано студентам младших курсов для успешного изучения теории булевых функций, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.


 Оглавление

От автора
1.Булевы функции. Способы задания
 1.Одномерная таблица истинности
 2.Число булевых функций n переменных
 3.Двумерные таблицы истинности
 4.Элементарные булевы функции
 5.Характеристическое множество булевой функции
 6.Задачи для самостоятельного решения
2.Формулы и основные равносильности
 1.Тавтологии
 2.Основные логические равносильности
 3.Дизъюнктивное и конъюнктивное разложения
 4.Задачи для самостоятельного решения
3.Нормальные формы булевых функций
 1.Постановка задачи минимизации
 2.Дизъюнктивные нормальные формы
 3.Понятие импликанты
 4.Конъюнктивные нормальные формы
 5.Полиномиальные нормальные формы
 6.Задача минимизации булевых функций в классе ДНФ
 7.Задачи для самостоятельного решения
4.Кратчайшее покрытие булевых матриц
 1.Постановка задачи
 2.Задача о переводчиках
 3.Методы поиска кратчайшего покрытия булевых матриц
 4.Ядро булевой матрицы
 5.Задачи для самостоятельного решения
5.Метод минимизации Квайна
 1.Описание метода
 2.Задачи для самостоятельного решения
6.Метод минимизации Квайна–Мак-Класки
 1.Модификация метода
 2.Пример применения модификации
 3.Задачи для самостоятельного решения
7.Другие методы минимизации
 1.Метод Блейка–Порецкого
 2.Дизъюнктивный критерий поглощения
 3.Примеры применения дизъюнктивного критерия поглощения
 4.Метод минимизации Нельсона
 5.Задачи для самостоятельного решения
8.Полиномы Жегалкина
 1.Монотонно поляризованные полиномы
 2.Общий вид полинома Жегалкина
 3.Классические методы построения полиномов Жегалкина
 4.Оригинальные методы построения полиномов Жегалкина
 5.Задачи для самостоятельного решения
9.Полиномы Рида–Маллера
 1.Основные понятия и определения
 2.Обобщение метода преобразования СДНФ
 3.Модификация метода преобразования СДНФ
 4.Метод неопределенных коэффициентов
 5.Метод деления таблицы истинности пополам
 6.Кратчайшие полиномы Рида–Маллера
 7.Метод минимизации булевых функций в классе полиномов Рида–Маллера
 8.Пример применения метода минимизации
 9.Функция Шеннона для оценки сложности полиномов Рида–Маллера
 10.Примеры сложных булевых функций
 11.Минимальные полиномы Рида–Маллера
 12.Задачи для самостоятельного решения
10.Арифметические полиномы
 1.Основные понятия и примеры
 2.Общий вид арифметического полинома
 3.Методы арифметического разложения булевых функций
 4.Свойства арифметических полиномов
 5.Задачи для самостоятельного решения
11.Симметрические булевы функции
 1.Свойства симметрических булевых функций
 2.Дизъюнктивное разложение симметрических булевых функций
 3.Число симметрических булевых функций
 4.Суперпозиция симметрических булевых функций
 5.Примеры симметрических булевых функций
 6.Задачи для самостоятельного решения
12.Полиномиальное разложение симметрических булевых функций
 1.Основные понятия и определения
 2.Метод треугольника и его модификации
 3.Задачи для самостоятельного решения
13.Существенные и фиктивные переменные
 1.Определение, свойства булевых переменных
 2.Нахождение фиктивных переменных
 3.Введение фиктивных переменных
 4.Задачи для самостоятельного решения
14.Булево дифференцирование
 1.Определение булевой производной
 2.Свойства булевых производных
 3.Булевы производные высших порядков
 4.Примеры вычисления булевых производных
 5.Задачи для самостоятельного решения
15.Основные замкнутые классы
 1.Свойства замыкания
 2.Булевы функции, сохраняющие константу 0
 3.Булевы функции, сохраняющие константу 1
 4.Самодвойственные булевы функции
 5.Линейные булевы функции
 6.Задачи для самостоятельного решения
16.Монотонные булевы функции
 1.Свойства монотонных булевых функций
 2.Критерии монотонности булевых функций
 3.Разложение монотонных булевых функций
 4.Нижние единицы монотонных булевых функций
 5.Дуализация монотонных булевых функций
 6.Оценки числа монотонных булевых функций
 7.Предполные классы булевых функций
 8.Задачи для самостоятельного решения
17.Полнота системы булевых функций
 1.Проблема функциональной полноты
 2.Критерий функциональной полноты
 3.Таблица Поста
 4.Минимальные базисы
 5.Выделение минимальных базисов
 6.Задачи для самостоятельного решения
18.Булевы функции шефферовского типа
 1.Число шефферовских булевых функций
 2.Симметрические булевы функции шефферовского типа
 3.Задачи для самостоятельного решения
Рекомендуемая литература

 Об авторе

Супрун Валерий Павлович
Кандидат технических наук, доцент механико-математического факультета Белорусского государственного университета. Область научных интересов — дискретная математика и вычислительная техника. Автор 340 изобретений в области автоматики и вычислительной техники. Награжден золотой медалью и дипломом Всемирной организации интеллектуальной собственности (ВОИС) как "Лучший изобретатель Беларуси 2006 года". Заслуженный работник Белорусского государственного университета.

Автор 80 научных статей по дискретной математике, а также учебных пособий "Математика для старшеклассников. Задачи повышенной сложности" (М.: URSS), "Математика для старшеклассников. Нестандартные методы решения задач" (М.: URSS), "Математика для старшеклассников. Методы решения и доказательства неравенств" (М.: URSS), "Математика для старшеклассников. Дополнительные разделы школьной программы" (М.: URSS). Многие книги автора были переведены и выходили в URSS также на испанском языке.

 
© URSS 2016.

Информация о Продавце