Логические уравнения

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

Автор	А. Д. Закревский
Год выпуска	2003
Издатель	Едиториал УРСС
ISBN	5-354-00468-3
Цена	249 руб.