Логические основы проектирования дискретных устройств
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
| Автор | Закревский Аркадий Дмитриевич, Поттосин Юрий Васильевич, Черемисинова Людмила Дмитриевна |
| Издательство | ООО "Физматлит" |
| Дата издания | 2007 |
| Кол-во страниц | 592 |
| ISBN | 978-5-9221-0811-9 |
| Тематика | Математика. Прикладная математика |
| № в каталоге | 811 |
Категории: Учебная литература
