Закревский А.Д.: Логические основы проектирования дискретных устройств
(fb2, 592 страницы, 3 013 Kb)
Жанр: Научная, учебная литература для специалистов
Издательство: Физматлит, 2007
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями.