Логические основы проектирования дискретных устройств

Автор:Закревский А.Д.
Жанр:Разное
Год:2007
Страниц: 592
Издательство:Физматлит
Аннотация:

Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями.