Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки...
ISBN: 978-5-9221-0811-9
Издательство:
Физматлит
Дата выхода: январь 2007
Найденных опечаток пока нет
Добавить запись