This book systematically expounds the classical contents of discrete mathematics, including propositional logic, predicate logic, set, relation, algebraic system, graph theory and other basic knowledge. According to the needs of computer science, this book chooses the content, grasps the scale, and combines discrete mathematical knowledge with practical problems in computer science as much as possible. The layout of this book is novel, and each chapter organically combines the contents through definitions, theorems, examples and other forms to achieve the purpose of giving consideration to both learning and application. This book has added onboard content to meet the actual needs of science and engineering undergraduates in colleges and universities.

At the end of this book, there are common symbols of discrete mathematics, Chinese-English terminology comparison table, English-Chinese terminology comparison table, and answers and tips of exercises, which can help readers understand and learn well.