Логические основы проектирования дискретных устройств.
АвторыЗакревский А. Д., Поттосин Ю. В., Черемисинова Л. Д.
ИздательствоФизматлит
Год издания2007
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении. ...
Загружено
2014-07-04