
Название: Логические основы проектирования дискретных устройств
Автор: Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д.
Издательство: Москва: Физматлит
Год: 2007
Формат: pdf
Страниц: 592
Размер: 14 mb
Язык: русский
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.