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