The book outlines the basic concepts of set theory, general algebra, logic, graph theory, theory of algorithms and formal systems, and the theory of automata. Compared to the 1988 edition, sections on graph theory and computational complexity have been re-written. For engineers specializing in computer-aided management and design, computer engineering, information technology, information transfer, as well as for undergraduate and graduate students of relevant specialties.