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

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

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

510.6 Математическая логика
1 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Абонемент научной литературы ГУК, ГУК, ауд. 313
  2. Читальный зал старших курсов, ГУК, ауд. 313