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

Закревский А. Д.
   Логические уравнения / Закревский А. Д. ; Нац. Акад. Наук Беларуси. Объединенный ин-т проблем информатики. - 2-е изд., стер. - М. : Едиториал УРСС, 2003. - 94 с. : ил. - Библиогр.: с. 93-94. - ISBN 5-354-00468-3.

Аннотация

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

УДК

512.563 Булевы кольца и алгебры

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

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

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

1 экз.

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

Похожие издания