Мараховский В.Б. Логическое проектирование

Наглядное пособие. — СПб.: СПбГТУ, 2010. — 483 с.Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов.
Первая часть курса содержит систематическое описание теории самосинхронных схем. Ее целью является ознакомление студентов с основными принципами и методами проектирования асинхронных логических и управляющих устройств, а также приобретение студентами навыков как «ручного» проектирования так и с использованием формальных методов, реализованных в системе автоматизации проектирования Petrify.
Во второй части курса излагаются теоретические вопросы и методы построения аналоговых управляющих устройств, заданных в виде фаззи-контроллеров, схемами из суммирующих усилителей, реализующих многозначные логические функции. После изучения второй части курса студенты должны овладеть методами декомпозиции многозначных логических функций и уметь синтезировать логическую схему любого фаззи-контроллера.