В учебном пособии рассматриваются основные положения теории и практики логического синтеза конечных автоматов. Этот материал входит составной частью в курс ''Математические основы теории систем'' специальности 210100. Для полноты изложения включены необходимые сведения из теорий множеств и графов. Также приводятся классические методы диагностирования комбинационных схем. Оригинал электронной публикации размещен в библиотеке портала ''Научные исследования и инновации в Хабаровском крае''