Discrete mathematics is the core course of the basic theory of computer science, and it is also an important professional basic course for computer majors in colleges and universities. This book introduces the basic theoretical knowledge of discrete mathematics. The whole book is divided into 1 1 chapters, including propositional logic, predicate logic, sets, relations, functions, cardinality of sets, graph theory, Euler diagram and hamiltonian graph, special graphs, algebraic structure, Gerboolean algebra and so on.

The content of this book is arranged reasonably, the system is rigorous, and the narrative is concise and clear. The book is equipped with typical examples and exercises, which are closely combined with the theory and practice of computer science.

This book can be used as a teaching material for discrete mathematics courses of computer and related majors in colleges and universities, and can also be used or referenced by scientific and technical personnel engaged in computer work and their related personnel.