Подробное описание документа

Поттосин Ю. В., Шестаков Е. А.
   Табличные методы декомпозиции систем полностью определенных булевых функций / Поттосин Ю. В., Шестаков Е. А. ; Нац. Акад. Наук Беларуси. Объединенный ин-т проблем информатики. - Минск : Белорусская наука, 2006. - 326 с. - ISBN 985-08-0732-6.

Аннотация

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

УДК

510.6 Математическая логика

Предметные рубрики

• Алгебра логики

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313