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

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

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

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

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

Закревский А. Д.
   Логические уравнения. - 1975. - 93 с.
1 экз.