Логические основы проектирования дискретных устройств
Авторы: Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д.
Издательство: Физматлит
ISBN 978-5-9221-0811-9; 2007 г.
Кол-во страниц: 592
Предварительный просмотр:
О книге:
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.