Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями.
РџРѕРТвЂВВВВелРСвЂВВВВтесь Р РЋР С“ Р В Р’В Р СћРІР‚ВВВВСЂСѓР·СЊСЏРСВВВВВР В Р’В Р РЋРІР‚ВВВВ