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