Логические основы проектирования дискретных устройств, Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д., 2007

Логические основы проектирования дискретных устройств, Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д., 2007.

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





Предисловие.

Предлагаемая вниманию читателя монография посвящена систематическому изложению основ логического проектирования дискретных вычислительных и управляющих устройств, т.е. применению методов математической логики на различных этапах разработки таких устройств. Впервые (в середине двадцатого века) алгебра логики была использована при проектировании контактных схем, потом — при разработке логических схем, составленных из множества электронных элементов, реализующих простейшие логические функции. Впоследствии логические методы были распространены на более широкий класс задач, решаемых как на раннем этапе проектирования (алгоритмическом, где определяется поведение устройства), так и завершающем — этапе технического проектирования, где, например, решаются задачи оптимального размещения элементов устройства в конструктивном пространстве. Использование методов логики при разработке систем защиты информации, распознавания образов и решения других проблем так называемого «искусственного интеллекта» привело к дальнейшему расширению смысла термина «логическое проектирование».

ОГЛАВЛЕНИЕ.

Предисловие
Часть 1. Множества, отношения, графы
Часть 2. Комбинаторные алгоритмы дискретной математики
Часть 3. Алгебра логики
Часть 4. Оптимизация в булевом пространстве
Часть 5. Полиномиальные представления булевых функций
Часть 6. Проектирование логических схем
Часть 7. Методы теории автоматов
Часть 8. Алгоритмы логического управления
Список литературы
Предметный указатель



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Логические основы проектирования дискретных устройств, Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д., 2007 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: Закревский :: Поттосин :: Черемисинова :: 2007 :: логика :: математика