Discrete Math Workbook

This study guide on discrete mathematics and mathematical logic is suitable for practical training, laboratory practicals, and self-study. The book describes basic theoretical concepts and methods for solving fundamental problems; explaining sets, relations on sets, and the behavior of different types of relations, as well as functions, general concepts of combinatorics, graph theory, Boolean algebra, and basic principles of the theory of algorithms. Some chapters also go beyond the scope of a traditional course of discrete mathematics in order to promote understanding of the methods of construction and analysis of algorithms. Each chapter begins with a concise theoretical part, which reviews the basic concepts of the course and the terminology used. Alongside the basic concepts, theoretical provisions, and formulae in the text, instructions on their practical use are also provided. Then, the detailed solutions for several common problems are related, and exercises to test solving these in a classroom or computer lab (or during self-study) are provided. Exercises range in complexity level, and solutions are provided for all problems except the simplest ones.