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